scientific article; zbMATH DE number 1231547

zbMATH Open0912.68098MaRDI QIDQ4222863FDOQ4222863

Authors: Peter Csaba Ölveczky, José Meseguer 

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#om

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

Recommendations

• Specification of real-time and hybrid systems in rewriting logic
• Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
• Timed rewriting logic with an application to object-based specification
• scientific article; zbMATH DE number 1070625

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Cited In (12)

• Twenty years of rewriting logic
• Rewriting logic as a semantic framework for concurrency: a progress report
• Real-time rewriting logic semantics for spatial concurrent constraint programming
• Specification of real-time and hybrid systems in rewriting logic
• Probabilistic real-time rewrite theories and their expressive power
• Predicate abstraction for dense real-time systems
• Revising system specifications in temporal logic
• Decidability and Expressive Power of Real Time Logics
• Real-Time Definable Languages
• Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
• Rewriting logic: Roadmap and bibliography
• On the behavioral semantics of real-time domain specific visual languages

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 Q4222863)