L.0: a truly concurrent executable temporal logic language for protocols

This publication has 27 references indexed in Scilit:

• Issues arising in the analysis of L.0
  Published by Springer Nature ,2005
• An executor for multidatabase transactions which achieves maximal parallelism
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Graph rewriting for a partial ordering semantics of concurrent constraint programming
  Theoretical Computer Science, 1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• The L.0 language and environment for protocol simulation and prototyping
  IEEE Transactions on Computers, 1991
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• Partial orderings descriptions and observations of nondeterministic concurrent processes
  Published by Springer Nature ,1989
• From a synchronous declarative language to a temporal logic dealing with multiform time
  Published by Springer Nature ,1988
• The glory of the past
  Published by Springer Nature ,1985
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983