A complete compositional modal proof system for a subset of CCS

This publication has 16 references indexed in Scilit:

• On the composition and decomposition of assertions
  Lecture Notes in Computer Science, 1985
• A proof system for partial correctness of dynamic networks of processes
  Published by Springer Nature ,1984
• Fairness and related properties in transition systems ? a temporal logic to deal with fairness
  Acta Informatica, 1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A unified approach for studying the properties of transition systems
  Theoretical Computer Science, 1982
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• A fundamental theorem of asynchronous parallel computation
  Published by Springer Nature ,1975