Plain CHOCS A second generation calculus for higher order processes

This publication has 13 references indexed in Scilit:

• Barbed bisimulation
  Published by Springer Nature ,1992
• A domain equation for bisimulation
  Information and Computation, 1991
• The typed λ-calculus with first-class processes
  Published by Springer Nature ,1989
• Towards a lambda-calculus for concurrent and communicating systems
  Published by Springer Nature ,1989
• SMoLCS-driven concurrent calculi
  Published by Springer Nature ,1987
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986
• Syntax and informal semantics of DyNe, a parallel language
  Published by Springer Nature ,1985
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955