scientific article; zbMATH DE number 140240
From MaRDI portal
Publication:4028627
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
Cited in
(20)- McMillan’s Complete Prefix for Contextual Nets
- scientific article; zbMATH DE number 7215282 (Why is no real title available?)
- 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
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
- Refinement of actions in a real-time process algebra with a true concurrency model
- Unfolding Graph Transformation Systems: Theory and Applications to Verification
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs
- On the expressiveness of higher dimensional automata
- Dynamic Partial Order Reduction Using Probe Sets
- scientific article; zbMATH DE number 683365 (Why is no real title available?)
- 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)
