Loading...
Please wait, while we are loading the content...
Similar Documents
Structural operational semantics specifications for true concurrency (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Echagüe, J. V. Habbas, Z. Pinchinat, S. |
| Abstract | We show how to use a wide class of Structural Operational Semantics specifications for Truly Concurrent Semantics, whereas the classical approach is rather based on interleaving models. The models we consider are Asynchronous Transition Systems and their behaviors are defined by means of a classical truly concurrent bisimulation : ST-bisimulation. However, the definition of ST-bisimulation over Asynchronous Transition Systems is new and makes this equivalence better understood. Moreover, we explain how our result holds of many other truly concurrent bisimulations of the literature. Introduction Plotkin has clearly formalized the technics of Structural Operational Semantics specification as a general method for defining semantics of programming languages [Plo81]. Milner [Mil81], [Mil89] introduced his calculus, CCS, by using this approach. Next, Groote and Vaandrager in [GV89], [Gro90] have considerably enriched the field by deriving transition systems [Kel76] modulo strong bisim... |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Structural Operational Semantics Specification True Concurrency Asynchronous Transition System Wide Class Transition System Concurrent Bisimulations General Method Milner Mil81 Truly Concurrent Semantics Introduction Plotkin Kel76 Modulo Strong Bisim Classical Truly Concurrent Bisimulation Classical Approach |
| Content Type | Text |
