Computable concurrent processes
From MaRDI portal
Publication:673972
DOI10.1016/0304-3975(94)00117-2zbMATH Open0874.68112OpenAlexW2023146962MaRDI QIDQ673972FDOQ673972
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A theory for nondeterminism, parallelism, communication, and concurrency
- Title not available (Why is that?)
- A Powerdomain Construction
- Title not available (Why is that?)
- Programming as a Discipline of Mathematical Nature
- Title not available (Why is that?)
- Descriptive set theory
- Power domains
- The formal language of recursion
- Title not available (Why is that?)
- Algebraic and fixed point equations over inverse limits of algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computable concurrent processes
- A model of concurrency with fair merge and full recursion
Cited In (4)
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)
