Behavioural and abstractor specifications revisited

DOI10.1016/J.TCS.2018.02.033zbMATH Open1396.68073OpenAlexW2794018669MaRDI QIDQ724932FDOQ724932

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

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

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)

Cites Work

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

Cited In (7)

• Title not available (Why is that?)
• Formal Methods for Components and Objects
• Abstract interface behavior of object-oriented languages with monitors
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)