scientific article; zbMATH DE number 194148
From MaRDI portal
Publication:4040941
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Recommendations
Cited in
(20)- Properties of concurrent programs
- Concurrent programming in the OS MPP environment
- scientific article; zbMATH DE number 1639446 (Why is no real title available?)
- scientific article; zbMATH DE number 3926232 (Why is no real title available?)
- scientific article; zbMATH DE number 3958701 (Why is no real title available?)
- Programming a Bounded Buffer using the Object and Path Expression Constructs of Path Pascal
- scientific article; zbMATH DE number 3967903 (Why is no real title available?)
- Writing concurrent assemblers–a case study in path pascal
- scientific article; zbMATH DE number 4056962 (Why is no real title available?)
- scientific article; zbMATH DE number 4078775 (Why is no real title available?)
- scientific article; zbMATH DE number 42962 (Why is no real title available?)
- scientific article; zbMATH DE number 47404 (Why is no real title available?)
- scientific article; zbMATH DE number 54242 (Why is no real title available?)
- scientific article; zbMATH DE number 108540 (Why is no real title available?)
- scientific article; zbMATH DE number 139607 (Why is no real title available?)
- scientific article; zbMATH DE number 1984238 (Why is no real title available?)
- scientific article; zbMATH DE number 194539 (Why is no real title available?)
- scientific article; zbMATH DE number 195214 (Why is no real title available?)
- scientific article; zbMATH DE number 1830933 (Why is no real title available?)
- Structure of concurrency
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4040941)
