Pages that link to "Item:Q1050111"
From MaRDI portal
The following pages link to Calculi for synchrony and asynchrony (Q1050111):
Displaying 50 items.
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Higher-level synchronising devices in Meije-SCCS (Q1079949) (← links)
- Algebraic calculi of processes and net expressions (Q1084852) (← links)
- About fair asynchrony (Q1085603) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)
- Bisimulations and abstraction homomorphisms (Q1089791) (← links)
- Modeling concurrency with partial orders (Q1091134) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- The semantics and complexity of parallel programs for vector computations. I: A case study using Ada (Q1110310) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Stable families of behavioural equivalences (Q1119013) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- On the minimal number of \(\times\) operators to model regularity in fair SCCS (Q1122986) (← links)
- Type theory and concurrency (Q1124322) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Domain theory in logical form (Q1174593) (← links)
- Bisimulation through probabilistic testing (Q1175940) (← links)
- Control machines: A new model of parallelism for compositional specifications and their effective compilation (Q1177148) (← links)
- The equivalence in the DCP model (Q1177152) (← links)
- Partial specifications and compositional verification (Q1177172) (← links)
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- An agent calculus with simple actions where the enabling and disabling are derived operators (Q1183473) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Symbolic model checking: \(10^{20}\) states and beyond (Q1193587) (← links)
- A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
- Experimenting with process equivalence (Q1194327) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- Using mappings to prove timing properties (Q1200918) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Enriched categorical semantics for distributed calculi (Q1208210) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- A complete axiomatisation for observational congruence of finite-state behaviours (Q1263984) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- An efficiency preorder for processes (Q1323358) (← links)
- Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
- Model checking for action-based logics (Q1326587) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Processes with probabilities, priority and time (Q1343865) (← links)
- Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- A complete axiomatization of finite-state ACSR processes (Q1376418) (← links)
- A process algebra of communicating shared resources with dense time and priorities (Q1389685) (← links)
- Semantics for finite delay (Q1392281) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)