scientific article; zbMATH DE number 1231671

zbMATH Open0917.68116MaRDI QIDQ4222999FDOQ4222999

Authors: L. J. Steggles, Piotr Kosiuczenko 

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15020

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

Recommendations

• Timed rewriting logic with an application to object-based specification
• scientific article; zbMATH DE number 1070625
• scientific article; zbMATH DE number 1728516

zbMATH Keywords

timed rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

• Twenty years of rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
• Rewriting logic: Roadmap and bibliography

Uses Software

• Maude

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