Results 1 to 10 of about 101,456 (308)

Operational semantics for signal handling [PDF]

open access: yesElectronic 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   +8 more sources

Regular Expression Matching and Operational Semantics [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2011
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]

open access: greenComputer 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

Enhanced operational semantics [PDF]

open access: bronzeACM 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

Relaxed Operational Semantics of Concurrent Programming Languages [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2012
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]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
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

open access: bronzeTheoretical 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

An Operational Petri Net Semantics for the Join-Calculus [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2012
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

open access: bronzeTheoretical 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]

open access: greenThe 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

Home - About - Disclaimer - Privacy