Pages that link to "Item:Q1399958"
From MaRDI portal
The following pages link to Presheaf models for CCS-like languages (Q1399958):
Displaying 4 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Infinite trace equivalence (Q2474445) (← links)