Pages that link to "Item:Q2848361"
From MaRDI portal
The following pages link to Connector algebras for C/E and P/T nets' interactions (Q2848361):
Displaying 20 items.
- On the geometry and algebra of networks with state (Q517043) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- Bayesian network semantics for Petri nets (Q2286739) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- The Algebra of Connectors—Structuring Interaction in BIP (Q4564086) (← links)
- (Q5013817) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Refinement for signal flow graphs (Q5111638) (← 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)
- (Q5207054) (← links)
- Behaviour, Interaction and Dynamics (Q5403078) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Causal semantics for the algebra of connectors (Q5962120) (← links)