Enhanced operational semantics

1 June 1996

journal article
Published by Association for Computing Machinery (ACM) in ACM Computing Surveys

Vol. 28 (2) , 352-354
https://doi.org/10.1145/234528.234748

Abstract

Designers, implementors, users) mustunderstand it. They can be roughly divided in two main groups. The firstgroup is particularly interested in the behavioural aspects of systems, i.e.in what they do, regardless of how. The other group is concerned with thequantitative aspects of systems, i.e. how efficiently they perform.The considerations above call for a semantics as usable as possible, withan underlying theory accordingly simple. Operational semantics is suchbecause it describes the ...

Keywords

This publication has 8 references indexed in Scilit:

An efficient verifier of truly concurrent properties
Published by Springer Nature ,1995
Causality for mobile processes
Published by Springer Nature ,1995
Stochastic -Calculus
The Computer Journal, 1995
Universal axioms for bisimulations
Theoretical Computer Science, 1993
The concurrency workbench
ACM Transactions on Programming Languages and Systems, 1993
A calculus of mobile processes, II
Information and Computation, 1992
The chemical abstract machine
Theoretical Computer Science, 1992
Facile: A symmetric integration of concurrent and functional programming
International Journal of Parallel Programming, 1989