OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A language for formal problem specificationCommunications of the ACM, 1977
- Petri NetsACM Computing Surveys, 1977
- On the Automated Generation of Program Test DataIEEE Transactions on Software Engineering, 1976
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- The new math of computer programmingCommunications of the ACM, 1975
- MonitorsCommunications of the ACM, 1974
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966