Browse
FAQ

Author

Peter D. Mosses

6 books found

Cover of Action Semantics

Action Semantics

Mosses Peter D. · First published 2010

Cover of Action semantics

Action semantics

Peter D. Mosses · First published 1992 · Latest edition 2005

Cover of CASL Reference Manual

CASL Reference Manual

Peter D. Mosses · First published 2004

Cover of CASL user manual

CASL user manual

Michel Bidoit, Peter D. Mosses · First published 2003

Cover of TAPSOFT '95

Tapsoft '95

International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark), Portugal) ETAPS 98 (1998 : Lisbon, Mogens Nielsen, Peter D. Mosses, Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Michael I. Schwartzbach · First published 1995

Cover of TAPSOFT '95

Tapsoft '95

Portugal) ETAPS 98 (1998 : Lisbon, Mogens Nielsen, Peter D. Mosses, Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Michael I. Schwartzbach