scientific article; zbMATH DE number 1070625

MaRDI QIDQ4357065zbMATH OpenFDO

Authors Piotr Kosiuczenko, Martin Wirsing

Publication date 7 October 1997

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)

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

Cited in

(13)

• Twenty years of rewriting logic
• scientific article; zbMATH DE number 2140431 (Why is no real title available?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• Specification of real-time and hybrid systems in rewriting logic
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1755151 (Why is no real title available?)
• 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)