Results 311 to 320 of about 1,341,656 (346)

Operational Semantics

Understanding Programming Languages, 2007
Cliff B. Jones
openaire   +2 more sources

Core operational semantics of Proto

Proceedings of the 2011 ACM Symposium on Applied Computing, 2011
The Proto spatial computing language [6] simplifies the creation of scalable, robust, distributed programs by abstracting a network of locally communicating devices as a continuous geometric manifold. However, Proto's successful application in a number of domains is becoming a challenge to its coherence across different platforms and distributions.
VIROLI, MIRKO, J. Beal, CASADEI, MATTEO
openaire   +4 more sources

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

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

Correct System Design, 2015
In 1987 Ernst-Rudiger Olderog provided an operational Petri net semantics for a subset of CCSP, the union of Milner’s CCS and Hoare’s CSP. It assigns to each process term in the subset a labelled, safe place/transition net. To demonstrate the correctness
R. V. Glabbeek
semanticscholar   +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

Big-step Operational Semantics Revisited

Fundamenta Informaticae, 2010
In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated via a big-step operational semantics is weak, while the option of using a small-step operational semantics is not always an option, because it is less intuitive to build and understand.
Jaroslaw D. M. Kusmierek, BONO, Viviana
openaire   +2 more sources

NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS

The Review of Symbolic Logic, 2009
Towards NonBeing (Priest, 2005) gives a noneist account of the semantics of intentional operators and predicates. The semantics for intentional operators are modelled on those for the □ in normal modal logics. In this paper an alternative semantics, modelled on neighborhood semantics for □, is given and assessed.
openaire   +3 more sources