Defining concurrent processes constructively

DOI10.1016/0304-3975(94)90205-4MaRDI QIDQ1314421zbMATH OpenOpenAlexWikidataFDO

Authors Yukihide Takayama

Publication date 22 February 1994

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

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

zbMATH Keywords

constructive logicintuitionismformal program developmentconcurrent processstream typesstream-based concurrent programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 970724
• scientific article; zbMATH DE number 3938548
• scientific article; zbMATH DE number 3913662
• Specifying concurrent objects as communicating processes
• Computable concurrent processes
• A theory for the composition of concurrent processes
• Towards a language for concurrent processes
• scientific article; zbMATH DE number 2159450
• scientific article; zbMATH DE number 3902012
• scientific article; zbMATH DE number 3872691

Cites work

• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• scientific article; zbMATH DE number 4082960 (Why is no real title available?)
• scientific article; zbMATH DE number 3726339 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3502750 (Why is no real title available?)
• scientific article; zbMATH DE number 3504945 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 970725 (Why is no real title available?)
• A final coalgebra theorem
• A functional programming approach to the specification and verification of concurrent systems
• Constructivism in mathematics. An introduction. Volume I
• Extraction of redundancy-free programs from constructive natural deduction proofs
• Linear logic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• \(QPC_ 2\): A constructive calculus with parameterized specifications

Cited in

(2)

• Computable concurrent processes
• scientific article; zbMATH DE number 3913662 (Why is no real title available?)

Describes a project that uses

Uses Software

• Nuprl
• Quty

This page was built for publication: Defining concurrent processes constructively

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