Вы здесь

Mosses P. D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models 1999 Kirchner H., Mosses P. D. Lecture Notes in Computer Science 05.02.1999
СТ An Action Semantics for ML Concurrency 1994 Mosses P. D., Musicante M. Lecture Notes in Computer Science 14.12.1994
М CASL User Manual 2004 Bidoit M., Mosses P. D. Lecture Notes in Computer Science Introduction to Using the Common Algebraic Specification Language 02.03.2004
СТ CASL: A Guided Tour of Its Design 1999 Mosses P. D. Lecture Notes in Computer Science Lecture Notes in Computer Science 27.08.1999
СТ CoFI: The Common Framework Initiative for Algebraic Specification and Development 1997 Mosses P. D. Lecture Notes in Computer Science 16.05.1997
СТ Constructive Action Semantics in OBJ 2006 Mosses P. D. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Denotational Semantics 1994 Mosses P. D. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Foundations of Modular SOS 1999 Mosses P. D. Lecture Notes in Computer Science 16.10.1999
СТ Logical Specification of Operational Semantics 1999 Mosses P. D. Lecture Notes in Computer Science 12.11.1999
СТ Mapping Modular SOS to Rewriting Logic 2003 De O., Haeusler E. H., Meseguer J., Mosses P. D. Lecture Notes in Computer Science 20.09.2003
СТ Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic 2000 De O., Haeusler E. H., Meseguer J., Mosses P. D. Lecture Notes in Computer Science 17.06.2000
СТ On the action semantics of concurrent programming languages 1993 Mosses P. D. Lecture Notes in Computer Science 11.06.1993
СТ The Varieties of Programming Language Semantics (And Their Uses) 2001 Mosses P. D. Lecture Notes in Computer Science 06.02.2002
СТ Theory and Practice of Action Semantics 1996 Mosses P. D. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ Unified Algebras and Abstract Syntax 1994 Mosses P. D. Lecture Notes in Computer Science 04.06.1994

Редактор: