Towards a refinement calculus for concurrent real-time programs

DOI10.1007/3-540-36103-0_35MaRDI QIDQ4412515zbMATH OpenFDO

Authors Sibylle Peuker, Ian Hayes

Publication date 15 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950335.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• A sequential real-time refinement calculus
• Separating timing and calculation in real-time refinement
• A specification-oriented semantics for the refinement of real-time systems
• A predicative semantics for the refinement of real-time systems
• Real-time refinement in Manna and Pnueli's temporal logic

Cited in

(22)

• Real-time programming
• Compositional semantics for real-time distributed computing
• Real-time semantics for shared-variable concurrency
• A specification-oriented semantics for the refinement of real-time systems
• A formal model of real-time program compilation
• Virtually timed ambients: a calculus of nested virtualization
• Congruent weak bisimulation with dense real-time
• A refinement calculus for tuple spaces
• Refinement of actions for real-time concurrent systems with causal ambiguity
• The variety of variables in computer-aided real-time programming
• Refinement of actions in a real-time process algebra with a true concurrency model
• Composing real-time concurrent objects refinement, compatibility and schedulability
• An equivalence theorem for the operational and temporal semantics of real-time, concurrent programs
• Separating timing and calculation in real-time refinement
• Towards declarative concurrent real-time programming
• scientific article; zbMATH DE number 683359 (Why is no real title available?)
• Refinement of infeasible real-time programs
• Introducing parallel composition to the timed refinement calculus
• Refinement of atomicity in real-time concurrent systems
• Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
• A predicative semantics for the refinement of real-time systems
• Procedures and parameters in the real-time program refinement calculus

This page was built for publication: Towards a refinement calculus for concurrent real-time programs

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