The following pages link to CONCUR 2005 – Concurrency Theory (Q5897492):
Displaying 13 items.
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Memory associated with membranes systems (Q1983012) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- On Causal Semantics of Petri Nets (Q3090821) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)
