| Publication | Date of Publication | Type |
|---|
Behavioural satisfaction and equivalence in concrete model categories
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
A general framework for modular implementations of modular system specifications
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Proving the correctness of behavioural implementations
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Compatibility properties of synchronously and asynchronously communicating components
(available as arXiv preprint) | 2018-01-12 | Paper |
A modal interface theory with data constraints
Lecture Notes in Computer Science | 2011-05-12 | Paper |
An Algebraic Semantics for Contract-Based Software Components
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Observational interpretation of Casl specifications
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Proving Behavioral Refinements of COL-specifications
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Constructor-based observational logic
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2087420 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085182 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2079665 (Why is no real title available?) | 2004-07-30 | Paper |
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
Lecture Notes in Computer Science | 2004-02-09 | Paper |
| scientific article; zbMATH DE number 1929923 (Why is no real title available?) | 2003-06-18 | Paper |
Observational logic, constructor-based logic, and their duality.
Theoretical Computer Science | 2003-05-25 | Paper |
CASL: the Common Algebraic Specification Language.
Theoretical Computer Science | 2003-01-21 | Paper |
Architectural specifications in CASL
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1761887 (Why is no real title available?) | 2002-07-01 | Paper |
| scientific article; zbMATH DE number 1705159 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1633145 (Why is no real title available?) | 2001-08-12 | Paper |
| scientific article; zbMATH DE number 1368957 (Why is no real title available?) | 2000-11-13 | Paper |
Modular correctness proofs of behavioural implementations
Acta Informatica | 1999-03-29 | Paper |
Proof systems for structured specifications with observability operators
Theoretical Computer Science | 1998-07-22 | Paper |
Observational specifications and the indistinguishability assumption
Theoretical Computer Science | 1997-02-28 | Paper |
Behavioural theories and the proof of behavioural properties
Theoretical Computer Science | 1997-02-27 | Paper |
Behavioural and abstractor specifications
Science of Computer Programming | 1997-01-02 | Paper |
Behavioural approaches to algebraic specifications. A comparative study
Acta Informatica | 1994-12-18 | Paper |
| scientific article; zbMATH DE number 139991 (Why is no real title available?) | 1993-03-28 | Paper |
How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
Science of Computer Programming | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4078762 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4092743 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3943002 (Why is no real title available?) | 1986-01-01 | Paper |
Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
Theoretical Computer Science | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3938540 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3936505 (Why is no real title available?) | 1985-01-01 | Paper |
Exception Handling: Formal Specification and Systematic Program Construction
IEEE Transactions on Software Engineering | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3872656 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3881862 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827203 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3812933 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3799008 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3700167 (Why is no real title available?) | 1980-01-01 | Paper |
