Pages that link to "Item:Q1901718"
From MaRDI portal
The following pages link to Axiomatizing the algebra of net computations and processes (Q1901718):
Displayed 10 items.
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)