The expressive power of indeterminate primitives in asynchronous computation

DOI10.1007/3-540-60692-0_45zbMath1354.68080OpenAlexW1480117760MaRDI QIDQ2956679

Prakash Panangaden

Publication date: 19 January 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60692-0_45

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec

This page was built for publication: The expressive power of indeterminate primitives in asynchronous computation