CCSR: A calculus for communicating shared resources

This publication has 10 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
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Full abstraction of a real-time denotational semantics for an OCCAM-like language
  Published by Association for Computing Machinery (ACM) ,1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• 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
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• On the algorithmic properties of concurrent programs
  Published by Springer Nature ,1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978