Towards Multi-agent Specification of Health Care Systems Using π-Calculus

This publication has 16 references indexed in Scilit:

• A Survey of Self-Organization Mechanisms in Multiagent Systems
  IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016
• A formal specification language for agent-oriented software engineering
  2003
• Multiagent systems specification by UML statecharts aiming at intelligent manufacturing
  2002
• Formal specification of a multi-agent system architecture for manufacture: the contribution of the π-calculus
  Journal of Materials Processing Technology, 2000
• Introducing OBJ
  2000
• Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework
  International Journal of Cooperative Information Systems, 1997
• A calculus of mobile processes, I
  Information and Computation, 1992
• An introduction to OBJ 3
  1988
• Petri Nets
  1985
• Lectures on a calculus for communicating systems
  1985