👤

Peter D. Mosses

3 books

Books by Peter D. Mosses

Action Semantics (Cambridge Tracts in Theoretical Computer Science)
Action Semantics (Cambridge Tracts in Theoretical Computer Science)
2005
CASL user manual
CASL user manual
2003
TAPSOFT '95
TAPSOFT '95
1995