Affiliations: Dipartimento di Informatica Università degli Studi di Pisa, Pisa, Italy. [email protected] | Dipartimento di Informatica Università degli Studi di Pisa, Pisa, Italy. [email protected]
Note: [] Address for correspondence: Dipartimento di Informatica, Università degli Studi di Pisa, Pisa, Italy
Note: [] Research supported by CNR Progetto Coordinato Modelli Astratti di Computazione; and Esprit Working Groups C0NFER2 and COORDINA.
Abstract: A generalization of De Simone format, where labels of transitions are structured actions, is presented. This provides a parameterized SOS framework where several paradigms of the observational semantics of process calculi can be uniformly handled. Moreover, standard algebraic techniques provide the formal machineries to relate the different semantics. It is also shown that much of the meta results developed for standard SOS format extend to this parameterized context.
Keywords: Process Calculi, Structured Operational Semantics (SOS), SOS Formats, Bi-simulation Equivalence, Complete Axiomatizations, Interleaving and Truly Concurrent Semantics
