Pages that link to "Item:Q3090838"
From MaRDI portal
The following pages link to A Connector Algebra for P/T Nets Interactions (Q3090838):
Displaying 15 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)
- Connector algebras for C/E and P/T nets' interactions (Q2848361) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP (Q3561227) (← links)
- The Algebra of Connectors—Structuring Interaction in BIP (Q4564086) (← 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)