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

DOI10.1007/BF00263648zbMath0559.68001OpenAlexW1980289211MaRDI QIDQ2265792

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)

Related Items (3)

Clocks in dataflow languages ⋮ A denotational theory of synchronous reactive systems ⋮ A graphic language based on timing diagrams

Uses Software

• Lucid

Cites Work

• Unnamed Item
• Unnamed Item
• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• Petri nets, event structures and domains. I
• Lucid, a nonprocedural language with iteration
• Time, clocks, and the ordering of events in a distributed system

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