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

Recommendations

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

zbMATH Keywords

parallel computing systemsreal time systemsproblem specificationdistributed bus arbiterimplementation description

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Petri nets, event structures and domains. I
• Calculi for synchrony and asynchrony
• Title not available (Why is that?)
• Time, clocks, and the ordering of events in a distributed system
• Algèbre de processus et synchronisation
• Lucid, a nonprocedural language with iteration
• Title not available (Why is that?)

Cited In (5)

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

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)