Refinement of events in the development of real-time distributed systems

DOI10.1016/0304-3975(94)90193-7MaRDI QIDQ1341711zbMATH OpenOpenAlexFDO

Authors Geetha Ramanathan

Publication date 15 June 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90193-7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 1487745
• Real-time refinement in Manna and Pnueli's temporal logic
• A specification-oriented semantics for the refinement of real-time systems
• Action refinement and equivalence notions for timed event structures
• Refinement of actions in a real-time process algebra with a true concurrency model

Cites work

• An axiomatization of events
• Functional specification and proof of correctness for time dependent behaviour of reactive systems
• scientific article; zbMATH DE number 3831759 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 3611322 (Why is no real title available?)
• Modeling concurrency with partial orders
• Statecharts: a visual formalism for complex systems

Cited in

(2)

• scientific article; zbMATH DE number 1630144 (Why is no real title available?)
• scientific article; zbMATH DE number 1487745 (Why is no real title available?)

This page was built for publication: Refinement of events in the development of real-time distributed systems

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