scientific article; zbMATH DE number 1231547

MaRDI QIDQ4222863zbMATH OpenFDO

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

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

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

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

Cited in

(14)

• 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
• Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems
• Predicate abstraction for dense real-time systems
• Probabilistic real-time rewrite theories and their expressive power
• Decidability and Expressive Power of Real Time Logics
• scientific article; zbMATH DE number 1070625 (Why is no real title available?)
• On the behavioral semantics of real-time domain specific visual languages
• Real-Time Definable Languages
• Revising system specifications in temporal logic
• Rewriting logic as a semantic framework for concurrency: a progress report
• Real-time rewriting logic semantics for spatial concurrent constraint programming

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)