Pages that link to "Item:Q2760251"
From MaRDI portal
The following pages link to A unified model for nets and process algebras (Q2760251):
Displaying 14 items.
- Extensional Petri net (Q667521) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Finite representations of CCS and TCSP programs by automata and Petri nets (Q1187659) (← links)
- Axiomatizing CCS, nets and processes (Q1314538) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Partial-order process algebra (and its relation to Petri nets) (Q2760250) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- (Q3315004) (← links)
- (Q3838115) (← links)
- (Q3838763) (← links)
- (Q4264232) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709379) (← links)
- Lectures on Concurrency and Petri Nets (Q5712296) (← links)