Real space process algebra

This publication has 7 references indexed in Scilit:

• Real time process algebra
  Formal Aspects of Computing, 1991
• Completeness in real time process algebra
  Published by Springer Nature ,1991
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Process algebra for synchronous communication
  Information and Control, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Die allgemeine Relativitätstheorie Einsteins
  Published by Springer Nature ,1921