LOTOS-like process algebras with urgent or timed interactions

This publication has 7 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Timed process algebras with urgent interactions and a unique powerful binary operator
  Published by Springer Nature ,1992
• A timed model for communicating sequential processes
  Theoretical Computer Science, 1988
• Time in Formal Protocol Specifications
  Published by Springer Nature ,1985
• Complexity of some problems in Petri nets
  Theoretical Computer Science, 1977
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976
• Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
  Annals of Mathematics, 1961