Communicating shared resources: a model for distributed real-time systems

This publication has 8 references indexed in Scilit:

• What's 'real' about real-time systems?
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Priorities in process algebras
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Static analysis of real-time distributed systems
  Lecture Notes in Computer Science, 1988
• A formal semantics for concurrent systems with a priority relation
  Acta Informatica, 1987
• Compositional semantics for real-time distributed computing
  Published by Springer Nature ,1985
• A linear-history semantics for languages for distributed programming
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• On the algorithmic properties of concurrent programs
  Published by Springer Nature ,1981