A more complete model of communicating processes
نویسندگان
چکیده
منابع مشابه
A Timed Model for Communicating Sequential Processes
The parallel language CSP [9], an earlier version of which was described in [7], has become a major tool for the analysis of structuring methods and proof systems involving parallelism. The significance of CSP is in the elegance by which a few simply stated constructs (e.g., sequential and parallel composition, nondeterministic choice, concealment, and recursion) lead to a language capable of e...
متن کاملA Model for Communicating Sequential Processes
This thesis describes tile construction and mathematical properties of a model for communicating sequential processes. We define a semantic model for processes based on failures, which encapsulate certain finite aspects of process behaviour and allow an elegant treatment of nondeterminism. We define a set of process operations, including nondeterministic choice, conditional composition, and var...
متن کاملAn Improved Failures Model for Communicating Processes
We extend the failures inode] of communicating processes to allow' a more satisfactory treatment of divergence in addition to deadlock. The relationship between the revised model and the old model is discussed, and we make some connections with various models proposed by other authors. 1 . In troduct ion . The papers [3,4] introduced the failure sets model for communicating sequential processes...
متن کاملModel Checking for Communicating Quantum Processes
Quantum communication is a rapidly growing area of research and development. Quantum cryptography has already been implemented for secure communication, and commercial solutions are available. The application of formal methods to classical computing and communication systems has been very successful, and is widely used by industry. We expect similar benefits for the verification of quantum syst...
متن کاملA Model of Behaviour Abstraction for Communicating Processes
In this paper we investigate the notion that a system is an acceptable implementation of another base or target system, in the case that the two systems have diierent interfaces. For instance, the base processes can be thought of as speciica-tions, or ideal processes operating in an error-free environment, while the implementations model their actual realisation possibly employing a variety of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1983
ISSN: 0304-3975
DOI: 10.1016/0304-3975(83)90081-6