scientific article
From MaRDI portal
Publication:4028627
zbMath0769.68083MaRDI QIDQ4028627
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items
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
