Computable concurrent processes

DOI10.1016/0304-3975(94)00117-2MaRDI QIDQ673972zbMATH OpenOpenAlexFDO

Authors Yiannis N. Moschovakis

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00117-2

zbMATH Keywords

relative computability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3938548
• A theory for the composition of concurrent processes
• Concurrent Turing machines
• scientific article; zbMATH DE number 3905854
• scientific article; zbMATH DE number 785044
• scientific article; zbMATH DE number 970724
• Defining concurrent processes constructively
• Publication:4490357
• Concurrent Machines

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1142319 (Why is no real title available?)
• scientific article; zbMATH DE number 3802792 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A Powerdomain Construction
• A model of concurrency with fair merge and full recursion
• A theory for nondeterminism, parallelism, communication, and concurrency
• Algebraic and fixed point equations over inverse limits of algebras
• Computable concurrent processes
• Descriptive set theory
• Power domains
• Programming as a Discipline of Mathematical Nature
• The formal language of recursion

Cited in

(4)

• A model of concurrency with fair merge and full recursion
• Computable concurrent processes
• Defining concurrent processes constructively
• Programming Languages and Systems

This page was built for publication: Computable concurrent processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673972)