A process algebra based framework for promise theory

Jan A. Bergstra Inge Bethke Mark Burgess

Published in: CoRR (2007)

Keyphrases

general theory
process algebra
case study
mathematical theory
access control
machine learning
multi agent systems
asynchronous circuits
concurrent systems