Pages that link to "Item:Q2763547"
From MaRDI portal
The following pages link to Categorical models for concurrency: Independence, fairness and dataflow (Q2763547):
Displaying 5 items.
- Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002. (Q350732) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- A model category for local po-spaces (Q2488617) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)