Pages that link to "Item:Q3878733"
From MaRDI portal
The following pages link to The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment (Q3878733):
Displaying 20 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Refusal testing (Q580961) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- About fair asynchrony (Q1085603) (← links)
- Parameter passing in nondeterministic recursive programs (Q1131833) (← links)
- A proof system for the first-order relational calculus (Q1138391) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- A semantic characterization for faults in replicated systems (Q1330427) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Linda-based applicative and imperative process algebras (Q1575260) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- Categorical semantics for programming languages (Q5887530) (← links)
