Towards Behavioral Maude

DOI10.1016/S1571-0661(04)80366-9zbMath1270.68194OpenAlexW1506096824MaRDI QIDQ2842559

José Meseguer, Grigore Roşu

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80366-9

zbMATH Keywords

coalgebraMaudemembership and hidden algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Uses Software

• OBJ3
• CafeOBJ
• Maude
• BMaude

Cites Work

• Behavioural theories and the proof of behavioural properties
• Observational specifications and the indistinguishability assumption
• Institution morphisms
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Modular correctness proofs of behavioural implementations
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• A hidden agenda
• Universal coalgebra: A theory of systems
• On institutions for modular coalgebraic specifications.
• Compositional SOS and beyond: A coalgebraic view of open systems
• Observational proofs by rewriting.
• Reflection in conditional rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Behavioural and abstractor specifications
• Specification and proof in membership equational logic
• Constructor-based observational logic
• Hidden coinduction: behavioural correctness proofs for objects
• Institutions: abstract model theory for specification and programming
• An approach to object semantics based on terminal co-algebras
• Mongruences and cofree coalgebras
• Using a generalisation critic to find bisimulations for coinductive proofs
• Equational axiomatizability for coalgebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards Behavioral Maude