scientific article

zbMath0769.68083MaRDI QIDQ4028627

R. Langerak

Publication date: 28 March 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

LOTOSevent structure semantics

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (20)

Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Configuration structures, event structures and Petri nets ⋮ Replication, refinement \& reachability: complexity in dynamic condition-response graphs ⋮ Unfolding semantics of graph transformation ⋮ Causal behaviours and nets ⋮ Unfolding Graph Transformation Systems: Theory and Applications to Verification ⋮ Dynamic Partial Order Reduction Using Probe Sets ⋮ More Relational Concurrent Refinement: Traces and Partial Relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ Metric semantics for true concurrent real time ⋮ On the expressiveness of higher dimensional automata ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ On testing UML statecharts ⋮ Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes ⋮ Relational concurrent refinement. III: Traces, partial relations and automata ⋮ Unnamed Item ⋮ Dynamic Causality in Event Structures ⋮ Contextual Petri nets, asymmetric event structures, and processes

This page was built for publication: