СТ |
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 |