Results 1 to 10 of about 101,456 (308)
Operational semantics for signal handling [PDF]
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 +8 more sources
Regular Expression Matching and Operational Semantics [PDF]
Many programming languages and tools, ranging from grep to the Java String library, contain regular expression matchers. Rather than first translating a regular expression into a deterministic finite automaton, such implementations typically match the ...
Asiri Rathnayake, Hayo Thielecke
doaj +4 more sources
Operational Semantics for MSC'96 [PDF]
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
Enhanced operational semantics [PDF]
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
Relaxed Operational Semantics of Concurrent Programming Languages [PDF]
We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model.
Gustavo Petri+2 more
doaj +4 more sources
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract) [PDF]
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence.
Jos Baeten, Bas Luttik, Fei Yang
doaj +12 more sources
On the operational semantics of nondeterminism and divergence
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
An Operational Petri Net Semantics for the Join-Calculus [PDF]
We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj +4 more sources
Graph grammars and operational semantics
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]
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