| Publication | Date of Publication | Type |
|---|
Detection and diagnosis of deviations in distributed systems of autonomous agents
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
scientific article; zbMATH DE number 7056232 (Why is no real title available?)
| 2019-05-17 | Paper |
A semantics preserving actor translation
Automata, Languages and Programming | 2018-07-04 | Paper |
The semantics of Datalog for the evidential tool bus (extended abstract)
Specification, Algebra, and Software | 2014-03-25 | Paper |
Actors and logical analysis of interactive systems
| 2013-12-04 | Paper |
Formal foundations of operational semantics
Higher-Order and Symbolic Computation | 2004-03-15 | Paper |
scientific article; zbMATH DE number 1870424 (Why is no real title available?)
| 2003-02-18 | Paper |
Simple network protocol simulation within Maude
| 2001-07-16 | Paper |
Operational techniques in PVS -- a preliminary evaluation
| 2001-05-08 | Paper |
Actor languages. Their syntax, semantics, translation, and equivalence
Theoretical Computer Science | 2000-08-23 | Paper |
Equivalence in functional languages with effects
Journal of Functional Programming | 2000-02-09 | Paper |
Computing with contexts
Higher-Order and Symbolic Computation | 2000-01-30 | Paper |
A first order logic of effects
Theoretical Computer Science | 1998-07-22 | Paper |
A foundation for actor computation
Journal of Functional Programming | 1997-06-04 | Paper |
From operational semantics to domain theory
Information and Computation | 1996-10-01 | Paper |
scientific article; zbMATH DE number 770150 (Why is no real title available?)
| 1996-08-26 | Paper |
scientific article; zbMATH DE number 515740 (Why is no real title available?)
| 1996-04-16 | Paper |
REASONING ABOUT OBJECT SYSTEMS IN VTLoE
International Journal of Foundations of Computer Science | 1995-10-29 | Paper |
A variable typed logic of effects
Information and Computation | 1995-08-01 | Paper |
Using typed lambda calculus to implement formal systems on a machine
Journal of Automated Reasoning | 1993-12-20 | Paper |
scientific article; zbMATH DE number 43015 (Why is no real title available?)
| 1993-01-23 | Paper |
Inferring the equivalence of functional programs that mutate data
Theoretical Computer Science | 1992-12-16 | Paper |
scientific article; zbMATH DE number 4189708 (Why is no real title available?)
| 1989-01-01 | Paper |
Verification of programs that destructively manipulated data
Science of Computer Programming | 1988-01-01 | Paper |
The metatheory of the classical propositional calculus is not axiomatizable
Journal of Symbolic Logic | 1985-01-01 | Paper |
