Peter D. Mosses

Peter D. Mosses

2 books in the database

Books

Action Semantics (Cambridge Tracts in Theoretical Computer Science)Peter D. Mosses

Action Semantics (Cambridge Tracts in Theoretical Computer Science)

Peter D. Mosses · 2005

CASL Reference ManualPeter D. Mosses

CASL Reference Manual

Peter D. Mosses · 2004

Co-authored books and collections

Books that list Peter D. Mosses among their authors but not as the lead author: co-written works, collections and compilations.

CASL user manualMichel Bidoit

CASL user manual

Michel Bidoit · 2004

TAPSOFT '95International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark)

International Joint Conference on Theory and Practice of Software Development (6th 1995 Aarhus, Denmark) · 1995