Behavioural and abstractor specifications revisited

DOI10.1016/J.TCS.2018.02.033MaRDI QIDQ724932zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexandre Madeira, Martin Wirsing

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)

Recommendations

• Behavioural and abstractor specifications
• Behavioural approaches to algebraic specifications. A comparative study
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• On behavioural abstraction and behavioural satisfaction in higher-order logic

Cites work

• scientific article; zbMATH DE number 1701362 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1487499 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 3999267 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• Algebraic laws for nondeterminism and concurrency
• Behavioural and abstractor specifications
• Constructor-based observational logic
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Dynamic logic with binders and its application to the development of reactive systems
• Foundations of algebraic specification and formal software development.
• Hybrid logic and its proof-theory
• Institutions for behavioural dynamic logic with binders
• Institutions: abstract model theory for specification and programming
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• On observational equivalence and algebraic specification
• Recent Trends in Algebraic Development Techniques

Cited in

(10)

• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• Formal Methods for Components and Objects
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Abstract interface behavior of object-oriented languages with monitors
• Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
• scientific article; zbMATH DE number 4039256 (Why is no real title available?)
• scientific article; zbMATH DE number 785047 (Why is no real title available?)
• Structured specification of paraconsistent transition systems
• Observational interpretations of hybrid dynamic logic with binders and silent transitions

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

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