Results 1 to 10 of about 4,882 (287)
Enhanced operational semantics [PDF]
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 ...
Pierpaolo Degano, Corrado Priami
openalex +3 more sources
Operational Semantics for MSC'96 [PDF]
Computer Networks, 1999 Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of the language is called MSC'96. Currently, research is performed on the extension of the formal semantics towards a semantics for MSC'96.
Sjouke Mauw, Michel Reniers
openalex +6 more sources
Operational semantics for signal handling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run.
Maxim Strygin, Hayo Thielecke
doaj +5 more sources
On the operational semantics of nondeterminism and divergence
Theoretical Computer Science, 1996 AbstractAn operational model of nondeterministic processes coupled with a novel theory of divergence is presented. The operational model represents internal nondeterminism without using explicit internal transitions. Here the notion of internal state effectively replaces the familiar notion of internal transition, giving rise to an alternative ...
Hakan Erdogmus +2 more
openalex +4 more sources
Graph grammars and operational semantics
Theoretical Computer Science, 1982 AbstractTransformations of graphlike expressions are called correct if they preserve a given functional semantics of the expressions. Combining the algebraic theories of graph grammars (cf. [10]) and programming language semantics (cf. [1]) it will be proved that the correctness of transformation rules carries over to the correctness of derivations via
Peter Padawitz
openalex +4 more sources
The origins of structural operational semantics [PDF]
The Journal of Logic and Algebraic Programming, 2004 AbstractWe review the origins of structural operational semantics. The main publication `A Structural Approach to Operational Semantics,' also known as the `Aarhus Notes,' appeared in 1981 [G.D. Plotkin, A structural approach to operational semantics, DAIMI FN-19, Computer Science Department, Aarhus University, 1981]. The development of the ideas dates
Gordon Plotkin
openalex +3 more sources
Category theory for operational semantics
Theoretical Computer Science, 2004 AbstractWe use the concept of a distributive law of a monad over a copointed endofunctor to define and develop a reformulation and mild generalisation of Turi and Plotkin's notion of an abstract operational rule. We make our abstract definition and give a precise analysis of the relationship between it and Turi and Plotkin's definition.
Marina Lenisa +2 more
openalex +4 more sources
An operational semantics for android activities [PDF]
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, 2014 We define an operational semantics for a large part of the Android platform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism used inside Android applications. This semantics is intended to provide a formal basis for the development of static analyses that consider the complex flow of ...
Étienne Payet, Fausto Spoto
openalex +5 more sources
Operational Semantics of Hybrid Systems [PDF]
, 2005 Hybrid systems are heterogeneous systems that include continuous-time (CT) subsystems interacting with discrete-event (DE) subsystems. They are effective models for physical systems interacting with software or experiencing discrete mode changes. This dissertation discusses an interpretation of hybrid systems as executable programs written in a ...
Edward A. Lee, Haiyang Zheng
openalex +3 more sources
Operational semantics of proto
Science of Computer Programming, 2012 The Proto spatial computing language in Beal and Bachrach (2006) [1] 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 challenging its coherence across different platforms and ...
Mirko Viroli, Jacob Beal, Kyle Usbeck
openalex +4 more sources