Behavioural and abstractor specifications revisited

DOI10.1016/j.tcs.2018.02.033zbMath1396.68073OpenAlexW2794018669MaRDI QIDQ724932

Martin Wirsing, Rolf Hennicker, Alexandre Madeira

Publication date: 26 July 2018

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.02.033

zbMATH Keywords

algebraic specificationobservable behaviourobservational abstractionspecification of reactive systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Observational interpretations of hybrid dynamic logic with binders and silent transitions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• On observational equivalence and algebraic specification
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Institutions for behavioural dynamic logic with binders
• Behavioural and abstractor specifications
• Constructor-based observational logic
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• Algebraic laws for nondeterminism and concurrency
• Institutions: abstract model theory for specification and programming
• Recent Trends in Algebraic Development Techniques
• Hybrid logic and its proof-theory

This page was built for publication: Behavioural and abstractor specifications revisited