Pages that link to "Item:Q1208210"
From MaRDI portal
The following pages link to Enriched categorical semantics for distributed calculi (Q1208210):
Displaying 13 items.
- Conduché property and tree-based categories (Q1040596) (← links)
- Synchronization trees (Q1348524) (← links)
- Categories with sums and right distributive tensor product (Q1861509) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- Categorial Semantics of a Solution to Distributed Dining Philosophers Problem (Q3587349) (← links)
- (Q4327836) (← links)
- (Q4845051) (← links)
- Connected limits, familial representability and Artin glueing (Q4882486) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Distributed catenation and chomsky hierarchy (Q5055903) (← links)
- A completeness theorem for nondeterministic Kleene algebras (Q5096912) (← links)
- On continuous time agents (Q6116583) (← links)