Results 241 to 250 of about 6,120 (267)
Some of the next articles are maybe not open access.
Formal Foundations of Operational Semantics
Higher-Order and Symbolic Computation, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jonathan Ford, Ian A. Mason
openaire +2 more sources
Operational Semantics for Coordination in Paradigm
2002Paradigm is the modeling language of SOCCA regarding communication, coordination and cooperation. A transition system or STD-based operational semantics for Paradigm is proposed and illustrated with basic producer-consumer examples. The proposed semantics for Paradigm, in contrast to other approaches, provides a sound basis for reasoningab out system ...
Groenewegen, L.P.J., Vink, de, E.P.
openaire +1 more source
NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
The Review of Symbolic Logic, 2009Towards 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
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing, 2011The 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.
Mirko Viroli, Jacob Beal, Matteo Casadei
openaire +3 more sources
An operational semantics for Occam
1988Occam is a programming language designed to support concurrent applications, especially those implemented on networks of communicating processors. The aim of this paper is to formulate the meaning of the language constructs of Occam by semantic definitions which are intended as a direct formalisation of the natural language descriptions usually found ...
openaire +1 more source
An Operational Semantics for S-Net
2010We present the formal operational semantics of S-NET, a coordination language and component technology based on stream processing. S-NET turns conventional (sequential) functions/procedures into asynchronous components interacting with each other through a streaming network; it defines network topologies inductively by a small combinator language that ...
Frank Penczek +2 more
openaire +3 more sources
Graphical Operational Semantics.
2000We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram ...
CORRADINI, ANDREA +2 more
openaire +1 more source
Bialgebras for structural operational semantics: An introduction
Theoretical Computer Science, 2011Bartek Klin
exaly
The origins of structural operational semantics
The Journal of Logic and Algebraic Programming, 2004Gordon Plotkin
exaly
Operational semantics for multi-language programs
ACM Transactions on Programming Languages and Systems, 2009Jacob Matthews, Findlerrobert Bruce
exaly