Skip to content

A Semi-Formal Specification Language Dedicated to Interaction Protocols.

Jean-Luc Koning, Marc-Philippe Huget

VenueCEJC
Year2000
ProceedingsEJC

Browse the full EJC paper archive.