Results 291 to 300 of about 106,571 (319)

Big Steps in Higher-Order Mathematical Operational Semantics

Sergey Goncharov, Pouya Partow, Stelios Tsampas   +2 more
openalex   +1 more source

Operational Semantics for PBC with Asynchronous Communication

, 2002
Raymond Devillers, Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau   +4 more
openalex   +1 more source

An Operational Semantics for the Eiffel Language

, 1995
Isabelle Attali, Denis Caromel, Sidi Ould Ehmety   +2 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Parameterized Structured Operational Semantics

Fundamenta Informaticae, 1998
A generalization of De Simone format, where labels of transitions are structured actions, is presented. This provides a parameterized SOS framework where several paradigms of the observational semantics of process calculi can be uniformly handled. Moreover, standard algebraic techniques provide the formal machineries to relate the different semantics.
FERRARI, GIAN-LUIGI, Montanari U.
openaire   +3 more sources

Enhanced operational semantics

ACM Computing Surveys, 1996
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility ...
DEGANO, PIERPAOLO, Priami C.
openaire   +1 more source

Parametric Operational Semantics

2004
In this part we will study the evaluation of terms and the induced operational semantics. Our notion of operational semantics is inspired by the structured operational semantics (SOS) developed by Plotkin [80] and by Kahn [55].
Simona Ronchi Della Rocca, Luca Paolini
openaire   +1 more source

Structural Operational Semantics

2000
This appendix introduces the basics of structural operational semantics [171], which defines a labelled transition system over a term algebra. An up-to-date overview of structural operational semantics is given in [3].
Aceto, Luca, Fokkink, W., Verhoef, C.
openaire   +3 more sources

Formal Foundations of Operational Semantics

Higher-Order and Symbolic Computation, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ford, Jonathan, Mason, Ian A.
openaire   +2 more sources