Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems

DOI10.1051/ITA:2001107zbMath0987.18004OpenAlexW2145844058MaRDI QIDQ2747940

Corina Cîrstea

Publication date: 15 June 2002

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2001__35_1_1_0

zbMATH Keywords

equational specificationsstate-based dynamical systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models of other mathematical theories (03C65)

Cites Work

• Swinging types=functions+relations+transition systems
• A hidden agenda
• Universal coalgebra: A theory of systems
• Institutions: abstract model theory for specification and programming
• An approach to object semantics based on terminal co-algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems