scientific article; zbMATH DE number 1231671

MaRDI QIDQ4222999zbMATH OpenFDO

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

zbMATH Keywords

timed rewriting logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

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

Cited in

(5)

• 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
• Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool

Describes a project that uses

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)