The Operational Semantics of Action Notation

Authors

  • Peter D. Mosses

DOI:

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

Abstract

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.

Author Biography

Peter D. Mosses

Downloads

Published

1992-09-01

How to Cite

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

Issue

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

Section

Articles

License

Creative Commons License

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