Pages that link to "Item:Q1853455"
From MaRDI portal
The following pages link to Normal forms for algebras of connections. (Q1853455):
Displaying 24 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- An axiomatization of graphs (Q707454) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
- Discretionary Information Flow Control for Interaction-Oriented Specifications (Q2945719) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- A Term-Graph Syntax for Algebras over Multisets (Q3184730) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- (Q3833187) (← links)
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051) (← links)
- GETGRATS (Q4923529) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
