Action and State-based Logics for Process Algebras

Sorry, there's nothing here.

Cite this paper

@inproceedings{Nicola1991ActionAS, title={Action and State-based Logics for Process Algebras}, author={Rocco De Nicola}, booktitle={CONCUR}, year={1991} }