Pages that link to "Item:Q3090838"
From MaRDI portal
The following pages link to A Connector Algebra for P/T Nets Interactions (Q3090838):
Displaying 12 items.
- The algebra of partial equivalence relations (Q1744396) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- (Q5013817) (← links)
- Open Petri nets (Q5139283) (← links)
- A Programming Language for Spatial Distribution of Net Systems (Q5166761) (← links)
- From Hierarchical BIP to Petri Calculus (Q5170743) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
