The following pages link to (Q4028627):
Displaying 20 items.
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- On testing UML statecharts (Q2500697) (← links)
- Dynamic Causality in Event Structures (Q2827451) (← links)
- (Q2844828) (← links)
- (Q2844829) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Dynamic Partial Order Reduction Using Probe Sets (Q3541021) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Causal behaviours and nets (Q5096367) (← links)
- (Q5114821) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
