From algebra to operational semantics
From MaRDI portal
Publication:1209325
DOI10.1016/0020-0190(93)90219-YzbMath0795.68124MaRDI QIDQ1209325
Publication date: 16 May 1993
Published in: Information Processing Letters (Search for Journal in Brave)
operational semantics; algebraic specification; specification-oriented semantics; transputer language
Cites Work
- A linear-history semantics for languages for distributed programming
- Specification-oriented semantics for communicating processes
- Algebra of communicating processes with abstraction
- Transformational programming and the paragraph problem
- A Theory of Communicating Sequential Processes
- Laws of programming
- Guarded commands, nondeterminacy and formal derivation of programs
- Unbounded nondeterminism in CSP
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item