scientific article; zbMATH DE number 1314230

MaRDI QIDQ4256316zbMATH OpenFDO

Authors Corina Cîrstea

Publication date 12 July 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=19#19011

zbMATH Keywords

coalgebraic operationscoequationcoterm

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1543338
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1304371
• Towards coalgebraic behaviourism
• scientific article; zbMATH DE number 6387441
• Behavioural approaches to algebraic specifications. A comparative study
• A compositional specification theory for component behaviours
• Generic constructions for behavioral specifications
• Behavioral and coinductive rewriting
• scientific article; zbMATH DE number 1790353

Cited in

(11)

• A coalgebraic equational approach to specifying observational structures
• Integrating observational and computational features in the specification of state-based, dynamical systems
• Observational coalgebras and complete sets of co-operations
• scientific article; zbMATH DE number 3990910 (Why is no real title available?)
• scientific article; zbMATH DE number 1189282 (Why is no real title available?)
• scientific article; zbMATH DE number 1304374 (Why is no real title available?)
• scientific article; zbMATH DE number 1790353 (Why is no real title available?)
• scientific article; zbMATH DE number 2087345 (Why is no real title available?)
• Behavioural reasoning for conditional equations
• Behavioral abstraction is hiding information
• Non-well-founded trees in categories

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