scientific article; zbMATH DE number 1070625

zbMATH Open0876.03015MaRDI QIDQ4357065FDOQ4357065

Authors: Piotr Kosiuczenko, Martin Wirsing 

Publication date: 7 October 1997

Title of this publication is not available (Why is that?)

Recommendations

• Timed rewriting logic with an application to object-based specification
• scientific article; zbMATH DE number 1231547
• Specification of real-time and hybrid systems in rewriting logic
• Timed term rewrite systems

zbMATH Keywords

decidabilitydistributed systemsreal-time systemsdelaysalgebraic specificationsrewriting logictime-dependent systemmodel class semanticsimprecise real-time constraintsnondeterministic term rewritingtime-sensitive systemstimed rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65) Other applications of logic (03B80)

Cited In (13)

• Twenty years of rewriting logic
• Title not available (Why is that?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• Specification of real-time and hybrid systems in rewriting logic
• Title not available (Why is that?)
• Modelling timed reactive systems from natural-language requirements
• Integrated Formal Methods
• Decidability of safety properties of timed multiset rewriting
• Revising system specifications in temporal logic
• Timed term rewrite systems
• Title not available (Why is that?)
• Rewriting logic: Roadmap and bibliography

This page was built for publication:

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