A functional model for describing and reasoning about time behaviour of computing systems

DOI10.1007/BF00263648zbMATH Open0559.68001OpenAlexW1980289211MaRDI QIDQ2265792FDOQ2265792

Authors Paul Caspi, Nicolas Halbwachs 

Publication date 1986

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00263648

zbMATH Keywords

parallel computing systemsreal time systemsproblem specificationdistributed bus arbiterimplementation description

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Functional specification and proof of correctness for time dependent behaviour of reactive systems
• Specification and Proof in Real Time CSP
• scientific article; zbMATH DE number 49713
• scientific article; zbMATH DE number 176150
• An action-based formal model for concurrent real-time systems

Cites work

• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 3611322 (Why is no real title available?)
• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• Lucid, a nonprocedural language with iteration
• Petri nets, event structures and domains. I
• Time, clocks, and the ordering of events in a distributed system

Cited in

(6)

• A graphic language based on timing diagrams
• Modelling temporal behaviour in complex systems with Timebands
• Clocks in dataflow languages
• Theoretical Aspects of Computing – ICTAC 2005
• Functional specification and proof of correctness for time dependent behaviour of reactive systems
• A denotational theory of synchronous reactive systems

Describes a project that uses

Uses Software

• Lucid

This page was built for publication: A functional model for describing and reasoning about time behaviour of computing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2265792)