Ian A. Mason

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Detection and diagnosis of deviations in distributed systems of autonomous agents	2023-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5376659	2019-05-17	Paper
A semantics preserving actor translation	2018-07-04	Paper
The Semantics of Datalog for the Evidential Tool Bus	2014-03-25	Paper
Actors and logical analysis of interactive systems	2013-12-04	Paper
Formal foundations of operational semantics	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4793036	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	2000-08-23	Paper
Equivalence in functional languages with effects	2000-02-09	Paper
Computing with contexts	2000-01-30	Paper
A first order logic of effects	1998-07-22	Paper
A foundation for actor computation	1997-06-04	Paper
From operational semantics to domain theory	1996-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4837948	1996-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4283243	1996-04-16	Paper
REASONING ABOUT OBJECT SYSTEMS IN VTLoE	1995-10-29	Paper
A variable typed logic of effects	1995-08-01	Paper
Using typed lambda calculus to implement formal systems on a machine	1993-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3992705	1993-01-23	Paper
Inferring the equivalence of functional programs that mutate data	1992-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q5753940	1989-01-01	Paper
Verification of programs that destructively manipulated data	1988-01-01	Paper
The metatheory of the classical propositional calculus is not axiomatizable	1985-01-01	Paper

Research outcomes over time

This page was built for person: Ian A. Mason