Parameterized Structured Operational Semantics

• Autorzy: Ferrari G.L. , Montanari U.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

process calculi; Structured Operational Semantics (SOS); SOS formats; bisimulation equivalence; complete axiomatizations

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 34, nr 1,2
• Strony: 1--31
• Opis fizyczny: bibliogr. 45 poz.

Twórcy

autor

Ferrari G.L.

autor

Montanari U.

• Dipartimento di Informatica Universita degli Studi di Pisa, Pisa, Italy,