Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation

This publication has 8 references indexed in Scilit:

• Communicating shared resources: a model for distributed real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Priorities in process algebras
  Information and Computation, 1990
• A proof system for communicating shared resources
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Compositional semantics for real-time distributed computing
  Published by Springer Nature ,1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Communicating sequential processes
  Communications of the ACM, 1978