Algebraic Operational Semantics and Occam

13 years 8 months ago

Download research.microsoft.com

We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to the study of veri cation and transformation of programs.

Yuri Gurevich, Lawrence S. Moss

Real-time Traffic

Algebraic Operational Semantics | Automated Reasoning | Concurrent Languages | CSL 1989 | Sequential Languages |

claim paper

» Algebraic results for structured operational semantics

» Compositional semantics of spiking neural P systems

» Compositionality of HennessyMilner Logic through Structural Operational Semantics

» A Process Algebraic Approach to Concurrent and Distributed Quantum Computation Operational...

» Local actions for a currystyle operational semantics

» The Measurable Space of Stochastic Processes

» Towards an Algebraic Specification of the Java Virtual Machine

» Learning in a Changing World an Algebraic Modal Logical Approach

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1989
Where	CSL
Authors	Yuri Gurevich, Lawrence S. Moss

Comments (0)

Sciweavers

Algebraic Operational Semantics and Occam

Algebraic Operational Semantics | Automated Reasoning | Concurrent Languages | CSL 1989 | Sequential Languages |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers