The following pages link to (Q3975146):
Displaying 12 items.
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- (Q5019695) (← links)
- Behavioural characterizations of partial order logics (Q5055959) (← links)
- (Q5089270) (← links)
- Functional equivalences of Petri nets (Q5096374) (← links)
- Dynamic matrices and the cost analysis of concurrent programs (Q5096393) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)
- Action Refinement in Process Algebra and Security Issues (Q5504602) (← links)
- Refinement of actions and equivalence notions for concurrent systems (Q5925821) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)