Abstract / Description of output
Transition System Specifications provide programming and specification languages with a semantics. They provide the meaning of a closed term as a process graph: a state in a labelled transition system. At the same time they provide the meaning of an n-ary operator, or more generally an open term with n free variables, as an n-ary operation on process graphs. The classical way of doing this, the closedterm semantics, reduces the meaning of an open term to the meaning of its closed instantiations. It makes the meaning of an operator dependent on the context in which it is employed. Here I propose an alternative process graph semantics of TSSs that does not suffer from this drawback. Semantic equivalences on process graphs can be lifted to open terms conform either the closedterm or the process graph semantics. For pure TSSs the latter is more discriminating. I consider five sanity requirements on the semantics of programming and specification languages equipped with a recursion construct: compositionality, applied to n-ary operators, recursion and variables, invariance under α-conversion, and the recursive definition principle, saying that the meaning of a recursive call should be a solution of the corresponding recursion equations. I establish that the satisfaction of four of these requirements under the closed-term semantics of a TSS implies their satisfaction under the process graph semantics.
Original language | English |
---|---|
Title of host publication | 6th International Workshop on Expressiveness in Concurrency 6th Workshop on Structural Operational Semantics, The Netherlands, 26th August 2019 |
Editors | J.A. Pérez, J. Rot |
Publisher | Open Publishing Association |
Pages | 69-85 |
Number of pages | 17 |
Volume | 300 |
DOIs | |
Publication status | Published - 22 Aug 2019 |
Event | 30th International Conference on Concurrency Theory (CONCUR 2019) - Amsterdam, Netherlands Duration: 26 Aug 2019 → 31 Aug 2019 https://event.cwi.nl/concur2019/ |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Publisher | Open Publishing Association |
Volume | 300 |
ISSN (Electronic) | 2075-2180 |
Workshop
Workshop | 30th International Conference on Concurrency Theory (CONCUR 2019) |
---|---|
Abbreviated title | CONCUR 2019 |
Country/Territory | Netherlands |
City | Amsterdam |
Period | 26/08/19 → 31/08/19 |
Internet address |