3 results
Foreword
-
-
- Book:
- Process Algebra: Equational Theories of Communicating Processes
- Published online:
- 05 July 2014
- Print publication:
- 16 December 2009, pp xi-xii
-
- Chapter
- Export citation
Thread algebra and risk assessment services
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 1-17
-
- Chapter
- Export citation
Degrees of sensible lambda theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-55
- Print publication:
- March 1978
-
- Article
- Export citation