Defining concurrent processes constructively
From MaRDI portal
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)
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)