A simple process algebra based on atomic actions with resources.

Paul Gastin Michael W. Mislove

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

process algebra
formal specification
formal methods
asynchronous circuits
machine learning
information retrieval
knowledge representation
sensor networks
concurrent systems