| Publication | Date of Publication | Type |
|---|
Unified algebras and action semantics
STACS 89 | 2022-08-16 | Paper |
| Robustness of equations under operational extensions | 2021-02-24 | Paper |
Robustness of equations under operational extensions
(available as arXiv preprint) | 2021-02-24 | Paper |
Executable component-based semantics
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
R n - and G n -logics
Higher-Order Algebra, Logic, and Term Rewriting | 2019-01-11 | Paper |
CoFI with Don Sannella
Theoretical Computer Science | 2018-07-26 | Paper |
Flag-based big-step semantics
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Flag-based big-step semantics
Journal of Logical and Algebraic Methods in Programming | 2017-03-20 | Paper |
Implicit propagation in structural operational semantics
Electronic Notes in Theoretical Computer Science | 2016-06-03 | Paper |
Generating specialized interpreters for modular structural operational semantics
Logic-Based Program Synthesis and Transformation | 2015-11-30 | Paper |
Weak bisimulation as a congruence in MSOS
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
Programming Languages and Systems | 2014-04-16 | Paper |
Modular semantics for transition system specifications with negative premises
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Modular bisimulation theory for computations and values
Lecture Notes in Computer Science | 2013-03-18 | Paper |
VDM semantics of programming languages: Combinators and monads
Formal Aspects of Computing | 2011-05-27 | Paper |
Pragmatics of modular SOS
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Mapping modular SOS to rewriting logic
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Programming language description languages. From Christopher Strachey to semantics online
Formal Methods: State of the Art and New Directions | 2010-04-23 | Paper |
VDM Semantics of Programming Languages: Combinators and Monads
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Constructive Action Semantics in OBJ
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
An action environment
Science of Computer Programming | 2006-08-14 | Paper |
| scientific article; zbMATH DE number 2104617 (Why is no real title available?) | 2004-10-01 | Paper |
Modular structural operational semantics
The Journal of Logic and Algebraic Programming | 2004-09-08 | Paper |
| scientific article; zbMATH DE number 2084339 (Why is no real title available?) | 2004-08-06 | 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 |
Composing programming languages by combining action-semantics modules.
Science of Computer Programming | 2003-05-14 | Paper |
CASL: the Common Algebraic Specification Language.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1759504 (Why is no real title available?) | 2002-12-01 | Paper |
| scientific article; zbMATH DE number 1696903 (Why is no real title available?) | 2002-01-28 | Paper |
Algebraic specifications, higher-order types and set-theoretic models
Journal of Logic and Computation | 2001-10-16 | Paper |
| scientific article; zbMATH DE number 1424026 (Why is no real title available?) | 2001-10-07 | Paper |
| scientific article; zbMATH DE number 1860658 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1418811 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1418328 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1231677 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1142321 (Why is no real title available?) | 1998-05-14 | Paper |
Rewriting extended regular expressions
Theoretical Computer Science | 1997-02-28 | Paper |
Valentin Antimirov (1961--1995)
Theoretical Computer Science | 1997-02-27 | Paper |
| Action Semantics | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 4180819 (Why is no real title available?) | 1989-01-01 | Paper |
On Proving Limiting Completeness
SIAM Journal on Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3864473 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3810954 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3733228 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3529402 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3483540 (Why is no real title available?) | 1975-01-01 | Paper |
