A calculus of coroutines
From MaRDI portal
Publication:817847
DOI10.1016/J.TCS.2005.10.027zbMATH Open1086.68028OpenAlexW2022786359MaRDI QIDQ817847FDOQ817847
Authors: N. E. Zubov 
Publication date: 20 March 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.027
Recommendations
- Automata, Languages and Programming
- A calculus for concurrent objects
- scientific article; zbMATH DE number 4005586
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
- A concurrent pattern calculus
- Concurrent calculus (CC) and its properties
- A concurrent lambda calculus with futures
- Frontiers of Combining Systems
Cites Work
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Title not available (Why is that?)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Relational properties of domains
- Locus solum: From the rules of logic to the logic of rules.
- Locally Boolean domains
- A categorical semantics of higher order store
- Games and full completeness for multiplicative linear logic
- Title not available (Why is that?)
- The regular-language semantics of second-order idealized ALGOL
- Title not available (Why is that?)
- Computer Science Logic
Cited In (8)
- One-shot algebraic effects as coroutines
- A core calculus for dynamic delta-oriented programming
- Automata, Languages and Programming
- A core calculus for correlation in orchestration languages
- Title not available (Why is that?)
- Guarded and unguarded coroutines: An implementation in BCPL
- Imperative programs as proofs via game semantics
- Analysis of vectors of coroutines by means of trees
This page was built for publication: A calculus of coroutines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817847)
