Sos Partial Ordering Semantics of -calculus


In this paper we present a partial ordering semantics for the-calculus. The model we adopt is transition system based. In spite of their inter-leaving nature, we show that it is possible to completely abstract from the generation ordering of transitions. The deenition of this semantics drive us in deening a standard SOS semantics that directly yields the partial ordering semantics of-calculus.

Cite this paper

@inproceedings{Degano1996SosPO, title={Sos Partial Ordering Semantics of -calculus}, author={Pierpaolo Degano and Corrado Priami}, year={1996} }