scientific article; zbMATH DE number 140240
From MaRDI portal
Publication:4028627
zbMATH Open0769.68083MaRDI QIDQ4028627FDOQ4028627
Authors: R. Langerak 
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
Recommendations
- From event-oriented models to transition systems
- Transition systems from event structures revisited
- scientific article; zbMATH DE number 4074505
- Transition systems, event structures, and unfoldings
- Configuration structures, event structures and Petri nets
- An algebraic semantics of event-based architectures
Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Cited In (20)
- McMillan’s Complete Prefix for Contextual Nets
- Title not available (Why is that?)
- On testing UML statecharts
- Metric semantics for true concurrent real time
- Configuration structures, event structures and Petri nets
- Unfolding semantics of graph transformation
- Relational concurrent refinement. III: Traces, partial relations and automata
- Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Refinement of actions in a real-time process algebra with a true concurrency model
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- On the expressiveness of higher dimensional automata
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs
- Dynamic Partial Order Reduction Using Probe Sets
- Title not available (Why is that?)
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- More relational concurrent refinement: traces and partial relations
- Taking decisions late: end-based choice combined with action refinement
- Causal behaviours and nets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028627)
