Timed rewriting logic for the specification of time-sensitive-systems

MaRDI QIDQ4357065zbMATH OpenFDO

Authors Piotr Kosiuczenko, Martin Wirsing

Publication date 7 October 1997

zbMATH Keywords

algebraic specificationsdecidabilitydelaysdistributed systemsimprecise real-time constraintsmodel class semanticsnondeterministic term rewritingreal-time systemsrewriting logictime-dependent systemtime-sensitive systemstimed rewriting systems

Mathematics Subject Classification ID

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

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

(16)

• Timed rewriting logic with an application to object-based specification
• Specification of real-time and hybrid systems in rewriting logic
• Rewriting logic: Roadmap and bibliography
• Twenty years of rewriting logic
• Timed term rewrite systems
• Modelling timed reactive systems from natural-language requirements
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• scientific article; zbMATH DE number 1231547 (Why is no real title available?)
• scientific article; zbMATH DE number 1231671 (Why is no real title available?)
• Rewriting logic and Elan: Prototyping tools for Petri nets with time
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• scientific article; zbMATH DE number 2140431 (Why is no real title available?)
• A Timed Mobility Semantics Based on Rewriting Strategies
• Decidability of safety properties of timed multiset rewriting
• Integrated Formal Methods
• Revising system specifications in temporal logic

This page was built for publication: Timed rewriting logic for the specification of time-sensitive-systems

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