Real-time refinement in Manna and Pnueli's temporal logic
From MaRDI portal
Publication:1815342
DOI10.1007/BF01213532zbMATH Open0857.68073MaRDI QIDQ1815342FDOQ1815342
Authors: David Scholefield 
Publication date: 10 November 1996
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A calculus of durations
- A survey of verification techniques for parallel programs
- Specification and compositional verification of real-time systems
- The Munich project CIP. Volume I: The wide spectrum language CIP-L
- Refinement concepts formalised in higher order logic
- A calculus of refinements for program derivations
- Title not available (Why is that?)
- Weakest precondition semantics for time and concurrency
- A specification-oriented semantics for the refinement of real-time systems
Cited In (11)
- Title not available (Why is that?)
- Reasoning about real-time repetitions: Terminating and nonterminating
- Procedures and parameters in the real-time program refinement calculus
- Title not available (Why is that?)
- A refinement theory that supports reasoning about knowledge and time for synchronous agents
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement of events in the development of real-time distributed systems
- Computer-aided development of a real-time program
- A predicative semantics for the refinement of real-time systems
- Weakest precondition semantics for time and concurrency
This page was built for publication: Real-time refinement in Manna and Pnueli's temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1815342)
