Pages that link to "Item:Q1122360"
From MaRDI portal
The following pages link to Representing CCS programs by finite predicate-transition nets (Q1122360):
Displaying 9 items.
- Finite representations of CCS and TCSP programs by automata and Petri nets (Q1187659) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- (Q3687725) (← links)
- (Q3795192) (← links)
- (Q4222997) (← links)
- (Q4727439) (← links)