The Operational Semantics of Action Notation

Forfattere

  • Peter D. Mosses

DOI:

https://doi.org/10.7146/dpb.v21i418.6731

Resumé

Action notation is used in the action semantics fratnework, for specifying actions representing program behaviour. It is defined by a structural operational semantics together with a bisimulation-based equivalence that satisfies some simple algebraic laws.

Forfatterbiografi

Peter D. Mosses

Downloads

Publiceret

1992-09-01

Citation/Eksport

Mosses, P. D. (1992). The Operational Semantics of Action Notation. DAIMI Report Series, 21(418). https://doi.org/10.7146/dpb.v21i418.6731

Nummer

Nr. 418 (1992): PB-418 The Operational Semantics of Action Notation

Sektion

Articles

Licens

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.