Pages that link to "Item:Q5204352"
From MaRDI portal
The following pages link to A parametric approach to localities (Q5204352):
Displaying 15 items.
- A note on proper maps of locales (Q535359) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Local Geodesic Parametrization: an Ant’s Perspective (Q3651660) (← links)
- (Q4323119) (← links)
- Parametricity and local variables (Q4369880) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Read-write causality (Q5096915) (← links)
- (Q5678814) (← links)
- Distributed processes and location failures (Q5958774) (← links)
- Landscape of Locality (Invited Talk). (Q6059157) (← links)
- A process algebra with distributed priorities (Q6104364) (← links)