Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems

This publication has 10 references indexed in Scilit:

• Semantics of communicating processes
  Information and Control, 1984
• Testing equivalences for processes
  Published by Springer Nature ,1983
• Powerdomains and nondeterministic recursive definitions
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Transformational semantics for concurrent programs
  Information Processing Letters, 1980
• Process logic
  Published by Association for Computing Machinery (ACM) ,1979
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• A data flow language for operating systems programming
  ACM SIGPLAN Notices, 1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969