Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$

This publication has 11 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Proof net semantics of proof search computation
  Published by Springer Nature ,1997
• Calculi for interaction
  Acta Informatica, 1996
• A language for the logical specification of processes and relations
  Published by Springer Nature ,1996
• Object Specification Logic
  Journal of Logic and Computation, 1995
• Objects in the π-Calculus
  Information and Computation, 1995
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983