Home Advanced Search

Advanced Search - Page 1

Action Semantics
  • PDF
  • English
  • Year: 2005
  • Author: Peter D. Mosses
Action Semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Peter D. Mosses
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
CASL User Manual: Introduction to Using the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Michel Bidoit, Peter D. Mosses (auth.), Michel Bidoit, Peter D. Mosses (eds.)
Semantic Domains and Denotational Semantics
  • PDF
  • English
  • Year: 1989
  • Author: Carl A. Gunter, Peter D. Mosses, Dana S. Scott
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.)
Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.)
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Martí;n Abadi, Phillip Rogaway (auth.), Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.)
Action semantics
  • DJVU
  • English
  • Year: 2005
  • Author: Mosses P.D.
search