An axiomatic approach to the specification of distributed computer architectures

This publication has 11 references indexed in Scilit:

• The AADL/S* Approach to Firmware Design Verification
  IEEE Software, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Para-functional programming
  Published by Association for Computing Machinery (ACM) ,1986
• Specification-Oriented Programming in TCSP
  Published by Springer Nature ,1985
• A temporal logic for reasoning about partially ordered computations (Extended Abstract)
  Published by Association for Computing Machinery (ACM) ,1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Petri Nets Theory for the Correctness of Protocols
  IEEE Transactions on Communications, 1982
• Petrinetze
  Published by Springer Nature ,1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978