The following pages link to A note on transition systems (Q1230656):
Displayed 7 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- Structure theory of equal conflict systems (Q672877) (← links)
- Complexity of some problems in Petri nets (Q1238999) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Computational Complexity of Atomic Chemical Reaction Networks (Q5127181) (← links)
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application (Q5166771) (← links)