Referenced Items are not available for this document.
Using the case-study of a companion paper, the implementation of the language CYBA-L on a direct-shared-memory multimicroprocessor, CYBA-M, is described. A formal implementation approach based on the use of Petri-nets, which are executed directly, is used to produce a system which eliminates the need for message-passing primitives between processes, while still maintaining security of communication. A formal analysis of the behaviour of the system establishes its correctness
Published in:
Software & Microsystems
(Volume:1
,
Issue:
4
)
Date of Publication: June 1982
- ISSN :
- 0261-3182
- Digital Object Identifier :
- 10.1049/sm:19820027
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 26 August 2009
- Issue Date :
- June 1982
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
