Peter D. Mosses

Available identifiers

zbMath Open mosses.peter-dWikidataQ7175967 ScholiaQ7175967MaRDI QIDQ516040

List of research outcomes

Publication	Date of Publication	Type
Unified Algebras and action semantics	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4964002	2021-02-24	Paper
Executable component-based semantics	2019-03-27	Paper
R n - and G n -logics	2019-01-11	Paper
CoFI with Don Sannella	2018-07-26	Paper
Flag-based big-step semantics	2017-03-20	Paper
Implicit Propagation in Structural Operational Semantics	2016-06-03	Paper
Generating Specialized Interpreters for Modular Structural Operational Semantics	2015-11-30	Paper
Weak Bisimulation as a Congruence in MSOS	2015-09-14	Paper
Deriving Pretty-Big-Step Semantics from Small-Step Semantics	2014-04-16	Paper
Modular Semantics for Transition System Specifications with Negative Premises	2013-08-12	Paper
Modular Bisimulation Theory for Computations and Values	2013-03-18	Paper
VDM semantics of programming languages: Combinators and monads	2011-05-27	Paper
Pragmatics of Modular SOS	2011-05-06	Paper
Mapping Modular SOS to Rewriting Logic	2011-03-04	Paper
Programming Language Description Languages	2010-04-23	Paper
VDM Semantics of Programming Languages: Combinators and Monads	2008-09-25	Paper
Constructive Action Semantics in OBJ	2007-09-07	Paper
An action environment	2006-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4818727	2004-10-01	Paper
Modular structural operational semantics	2004-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q3043821	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.	2004-02-09	Paper
Composing programming languages by combining action-semantics modules.	2003-05-14	Paper
CASL: the Common Algebraic Specification Language.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536458	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q2767190	2002-01-28	Paper
Algebraic Specifications, Higher-order Types and Set-theoretic Models	2001-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q4945216	2001-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4790386	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4942093	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4941890	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4223005	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4385537	1998-05-14	Paper
Rewriting extended regular expressions	1997-02-28	Paper
Valentin Antimirov (1961--1995)	1997-02-27	Paper
Action Semantics	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3204056	1989-01-01	Paper
On Proving Limiting Completeness	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3332227	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3659173	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3920614	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105769	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066567	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter D. Mosses