Behavioral and coinductive rewriting

MaRDI QIDQ2703688zbMATH OpenFDO

Authors Joseph Goguen, Kai Lin, Grigore Roşu

Publication date 7 May 2001

zbMATH Keywords

behavioral rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Conditional circular coinductive rewriting with case analysis.
• Behavioral rewrite systems and behavioral productivity
• CIRC: A Circular Coinductive Prover
• scientific article; zbMATH DE number 1231544
• Circular coinduction: a proof theoretical foundation

Cited in

(10)

• Rewriting logic: Roadmap and bibliography
• A hidden Herbrand theorem: Combining the object and logic paradigms
• A meaning based information theory - informalogical space: basic concepts and convergence of information sequences
• Towards behavioral Maude: behavioral membership equational logic
• A Decision Procedure for Bisimilarity of Generalized Regular Expressions
• Well-Definedness of Streams by Termination
• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• Behavioral rewrite systems and behavioral productivity
• Conditional circular coinductive rewriting with case analysis.
• Behavioral abstraction is hiding information

Describes a project that uses

Uses Software

• CafeOBJ
• PVS
• OBJ3
• Maude

This page was built for publication: Behavioral and coinductive rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703688)