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

DOI10.1016/0304-3975(94)90193-7zbMath0938.68720OpenAlexW2090038405MaRDI QIDQ1341711

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

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

Cites Work

• Modeling concurrency with partial orders
• Statecharts: a visual formalism for complex systems
• An axiomatization of events
• Functional specification and proof of correctness for time dependent behaviour of reactive systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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