A Semi-Formal Specification Language Dedicated to Interaction Protocols.

Jean-Luc Koning Marc-Philippe Huget

Published in: EJC (2000)

Keyphrases

platform independent
interaction protocols
formal specification language
temporal logic
formal methods
formal specification
communicative acts
model checking
machine learning
information systems
multi agent
multi agent systems
software engineering
intelligent agents
modal logic
modeling language