A calculus of coroutines
type: Item
instance of: scholarly article
title: A calculus of coroutines
zbMATH Open document ID: 1086.68028
author: N. E. Zubov
published in: Theoretical Computer Science
publication date: 2006-03-20T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5013341
zbMATH Keywords: coroutines
zbMATH Keywords: lambda-calculus
zbMATH Keywords: game semantics
zbMATH Keywords: categorical models
MaRDI profile type: Publication
full work available at URL: j.tcs.2005.10.027
OpenAlex ID: W2022786359
cites work: Games and full completeness for multiplicative linear logic
cites work: Full abstraction for PCF
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q2778815
cites work: The regular-language semantics of second-order idealized ALGOL
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: Q3024908
cites work: On full abstraction for PCF: I, II and III
cites work: A categorical semantics of higher order store
cites work: Computer Science Logic
cites work: Locally Boolean domains
cites work: Q5639839
cites work: Relational properties of domains
DOI: 10.1016/J.TCS.2005.10.027
Recommended article: Automata, Languages and Programming
Recommended article: A calculus for concurrent objects
Recommended article: Q3756505
Recommended article: Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
Recommended article: A concurrent pattern calculus
Recommended article: Concurrent calculus (CC) and its properties
Recommended article: A concurrent lambda calculus with futures
Recommended article: Frontiers of Combining Systems
description: scientific article; zbMATH DE number 5013341