scientific article; zbMATH DE number 1070625
From MaRDI portal
Publication:4357065
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
decidabilitydistributed systemsreal-time systemsdelaysalgebraic specificationsrewriting logictime-dependent systemmodel class semanticsimprecise real-time constraintsnondeterministic term rewritingtime-sensitive systemstimed rewriting systems
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)