Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
Peter D. Mosses
Peter D. Mosses
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
6
CASL user manual
Action semantics
TAPSOFT '95
Action Semantics (Cambridge Tracts in Theoretical Computer Science)
CASL Reference Manual
TAPSOFT '95
