Timed rewriting logic with an application to object-based specification

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)

zbMATH Keywords

real-time object-oriented systemstimed rewriting logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (5)

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

• Maude

This page was built for publication: Timed rewriting logic with an application to object-based specification