Timed rewriting logic with an application to object-based specification
From MaRDI portal
Publication:1356938
DOI10.1016/S0167-6423(96)00024-XzbMath0877.68071MaRDI QIDQ1356938
Martin Wirsing, Piotr Kosiuczenko
Publication date: 8 December 1997
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
Rewriting logic: Roadmap and bibliography, Twenty years of rewriting logic, Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems, Formal Analysis of Leader Election in MANETs Using Real-Time Maude, Specification of real-time and hybrid systems in rewriting logic
Uses Software