Observability Concepts in Abstract Data Type Specification, 30 Years Later

Authors:
Donald Sannella;Andrzej Tarlecki
Affiliations:
Laboratory for Foundations of Computer Science, University of Edinburgh,;Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences,
Venue:
Concurrency, Graphs and Models
Year:
2008

Citing 17
Cited 0

On observational equivalence and algebraic specification

Journal of Computer and System Sciences
Toward formal development of programs from algebraic specifications: implementations revisited

Acta Informatica
Specifications in an arbitrary institution

Information and Computation - Semantics of Data Types
Algebraic system specification and development

Algebraic system specification and development
Algebraic specification

Handbook of theoretical computer science (vol. B)
Toward formal development of programs from algebraic specifications: parameterisation revisited

Acta Informatica
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
A hidden agenda

Theoretical Computer Science
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
Specifying coalgebras with modal logic

Theoretical Computer Science
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach
Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Open maps as a bridge between algebraic observational equivalence and bisimilarity

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Partial-Congruence Factorization of Bisimilarity Induced by Open Maps

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Parameterized programming and software architecture

ICSR '96 Proceedings of the 4th International Conference on Software Reuse
Observational interpretation of casl specifications

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We recall the contribution of Montanari's paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.