Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Authors:
- José MeseguerJMJosé Meseguer
- Peter Csaba ÖlveczkyPÖPeter Csaba Ölveczky
- 1 September 2012
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 451, 1-37
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Semantics and pragmatics of Real-Time MaudeHigher-Order and Symbolic Computation, 2007
- Semantic foundations for generalized rewrite theoriesTheoretical Computer Science, 2006
- SAFEbus2003
- Specification of real-time and hybrid systems in rewriting logicTheoretical Computer Science, 2002
- Fault-tolerant, real-time communication in FDDI-based networksComputer, 1997
- TTP-a protocol for fault-tolerant real-time systemsComputer, 1994
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Synchronizing asynchronous bounded delay networksIEEE Transactions on Communications, 1990
- Complexity of network synchronizationJournal of the ACM, 1985
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978