scientific article
From MaRDI portal
Publication:4040941
zbMATH Open0702.68012MaRDI QIDQ4040941FDOQ4040941
David Bustard, John Elder, Jim Welsh
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (19)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming a Bounded Buffer using the Object and Path Expression Constructs of Path Pascal
- Title not available (Why is that?)
- Title not available (Why is that?)
- Writing concurrent assemblers–a case study in path pascal
- Title not available (Why is that?)
- Properties of concurrent programs
- Concurrent programming in the OS MPP environment
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structure of concurrency
Uses Software
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)