2009 |
68 | EE | Rob J. van Glabbeek,
Peter D. Mosses:
Special issue on structural operational semantics.
Inf. Comput. 207(2): 83-84 (2009) |
2007 |
67 | EE | Peter D. Mosses:
VDM Semantics of Programming Languages: Combinators and Monads.
Formal Methods and Hybrid Real-Time Systems 2007: 483-503 |
66 | EE | Rob J. van Glabbeek,
Peter D. Mosses:
Preface.
Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007) |
65 | EE | Peter D. Mosses,
Irek Ulidowski:
Preface.
Theor. Comput. Sci. 373(3): 161-162 (2007) |
2006 |
64 | EE | Peter D. Mosses:
Constructive Action Semantics in OBJ.
Essays Dedicated to Joseph A. Goguen 2006: 281-295 |
63 | EE | Peter D. Mosses:
Formal Semantics of Programming Languages: - An Overview - .
Electr. Notes Theor. Comput. Sci. 148(1): 41-73 (2006) |
62 | EE | Peter D. Mosses,
Irek Ulidowski:
Preface.
Electr. Notes Theor. Comput. Sci. 156(1): 1-2 (2006) |
61 | EE | Mark van den Brand,
Jørgen Iversen,
Peter D. Mosses:
An Action Environment.
Sci. Comput. Program. 61(3): 245-264 (2006) |
2005 |
60 | EE | Peter D. Mosses:
A Constructive Approach to Language Definition.
J. UCS 11(7): 1117-1134 (2005) |
2004 |
59 | | Michel Bidoit,
Peter D. Mosses:
Casl User Manual - Introduction to Using the Common Algebraic Specification Language
Springer 2004 |
58 | | Peter D. Mosses:
CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language
Springer 2004 |
57 | | José Luiz Fiadeiro,
Peter D. Mosses,
Fernando Orejas:
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Springer 2004 |
56 | EE | Peter D. Mosses:
Modular Language Descriptions.
GPCE 2004: 489 |
55 | EE | Peter D. Mosses:
Exploiting labels in Structural Operational Semantics.
SAC 2004: 1476-1481 |
54 | EE | Mark van den Brand,
Jørgen Iversen,
Peter D. Mosses:
An Action Environment.
Electr. Notes Theor. Comput. Sci. 110: 149-168 (2004) |
53 | EE | Mark van den Brand,
Jørgen Iversen,
Peter D. Mosses:
The Action Environment: -- Tool Demonstration --.
Electr. Notes Theor. Comput. Sci. 110: 177-180 (2004) |
52 | EE | Peter D. Mosses:
Exploiting Labels in Structural Operational Semantics.
Fundam. Inform. 60(1-4): 17-31 (2004) |
51 | EE | Peter D. Mosses:
Modular structural operational semantics.
J. Log. Algebr. Program. 60-61: 195-228 (2004) |
2003 |
50 | EE | Kyung-Goo Doh,
Peter D. Mosses:
Composing programming languages by combining action-semantics modules.
Sci. Comput. Program. 47(1): 3-36 (2003) |
2002 |
49 | EE | Peter D. Mosses:
Pragmatics of Modular SOS.
AMAST 2002: 21-40 |
48 | EE | Christiano de O. Braga,
Edward Hermann Haeusler,
José Meseguer,
Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic.
LOPSTR 2002: 262-277 |
47 | EE | Peter D. Mosses:
Action Semantics and ASF+SDF: System Demonstration.
Electr. Notes Theor. Comput. Sci. 65(3): (2002) |
46 | | Egidio Astesiano,
Michel Bidoit,
Hélène Kirchner,
Bernd Krieg-Brückner,
Peter D. Mosses,
Donald Sannella,
Andrzej Tarlecki:
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci. 286(2): 153-196 (2002) |
2001 |
45 | EE | Peter D. Mosses:
The Varieties of Programming Language Semantics.
Ershov Memorial Conference 2001: 165-190 |
44 | | Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development.
Current Trends in Theoretical Computer Science 2001: 153-163 |
43 | EE | Kyung-Goo Doh,
Peter D. Mosses:
Composing Programming Languages by Combining Action-Semantics Modules.
Electr. Notes Theor. Comput. Sci. 44(2): (2001) |
42 | EE | Hélène Kirchner,
Peter D. Mosses:
Algebraic Specifications, Higher-order Types and Set-theoretic Models.
J. Log. Comput. 11(3): 453-481 (2001) |
2000 |
41 | | Didier Bert,
Christine Choppy,
Peter D. Mosses:
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers
Springer 2000 |
40 | | Jan van Leeuwen,
Osamu Watanabe,
Masami Hagiya,
Peter D. Mosses,
Takayasu Ito:
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings
Springer 2000 |
39 | EE | Christiano de O. Braga,
Edward Hermann Haeusler,
José Meseguer,
Peter D. Mosses:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.
AMAST 2000: 407-421 |
38 | EE | Peter D. Mosses:
The Varieties of Programming Language Semantics.
IFIP TCS 2000: 624-628 |
37 | | Peter D. Mosses:
A Foreword to `Fundamental Concepts in Programming Languages'.
Higher-Order and Symbolic Computation 13(1/2): 7-9 (2000) |
1999 |
36 | | Peter D. Mosses:
Logical Specification of Operational Semantics.
CSL 1999: 32-49 |
35 | | Peter D. Mosses:
Foundations of Modular SOS.
MFCS 1999: 70-80 |
1998 |
34 | EE | Hélène Kirchner,
Peter D. Mosses:
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models.
AMAST 1998: 373-388 |
33 | EE | Peter D. Mosses:
CASL: A Guided Tour of Its Design.
WADT 1998: 216-240 |
32 | EE | Peter D. Mosses:
Semantics, modularity, and rewriting logic.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
1997 |
31 | | Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development.
TAPSOFT 1997: 115-137 |
1996 |
30 | | Arie van Deursen,
Peter D. Mosses:
ASD: The Action Semantic Description Tools.
AMAST 1996: 579-582 |
29 | | Peter D. Mosses:
Theory and Practice of Action Semantics.
MFCS 1996: 37-61 |
28 | | Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification.
Bulletin of the EATCS 59: (1996) |
27 | | Gregory Kucherov,
Pierre Lescanne,
Peter D. Mosses:
Valentin M. Antimirov (1961-1995).
Theor. Comput. Sci. 155(2): 289-290 (1996) |
26 | | Peter D. Mosses,
Mogens Nielsen,
Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers.
Theor. Comput. Sci. 167(1&2): 1 (1996) |
1995 |
25 | | Peter D. Mosses,
Mogens Nielsen,
Michael I. Schwartzbach:
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings
Springer 1995 |
24 | | Claus Hintermeier,
Hélène Kirchner,
Peter D. Mosses:
Combining Algebraic and Set-Theoretic Specifications.
COMPASS/ADT 1995: 255-273 |
23 | | Claus Hintermeier,
Hélène Kirchner,
Peter D. Mosses:
Rn- and Gn-Logics.
HOA 1995: 90-108 |
22 | EE | Valentin M. Antimirov,
Peter D. Mosses:
Rewriting Extended Regular Expressions.
Theor. Comput. Sci. 143(1): 51-72 (1995) |
1994 |
21 | | Peter D. Mosses,
Martín Musicante:
An Action Semantics for ML Concurrency Primitives.
FME 1994: 461-479 |
1993 |
20 | | Arie van Deursen,
Peter D. Mosses:
Executing Action Semantic Descriptions using ASF+SDF.
AMAST 1993: 413-414 |
19 | | Valentin M. Antimirov,
Peter D. Mosses:
Rewriting Extended Regular Expressions.
Developments in Language Theory 1993: 195-209 |
1992 |
18 | | Peter D. Mosses:
Unified Algebras and Abstract Syntax.
COMPASS/ADT 1992: 280-294 |
17 | | Padmanabhan Krishnan,
Peter D. Mosses:
Specifying Asynchronous Transfer of Control.
FTRTFT 1992: 291-306 |
16 | | Peter D. Mosses:
On the Action Semantics of Concurrent Programming Languages.
REX Workshop 1992: 398-424 |
1991 |
15 | | Peter D. Mosses:
The Use of Sorts in Algebraic Specifications.
COMPASS/ADT 1991: 66-92 |
1990 |
14 | | Peter D. Mosses:
Denotational Semantics.
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 575-631 |
1989 |
13 | | Peter D. Mosses:
Unified Algebras and Institutions
LICS 1989: 304-312 |
12 | | Peter D. Mosses:
Unified Algebras and Modules.
POPL 1989: 329-343 |
11 | | Peter D. Mosses:
Unified Algebras and Action Semantics.
STACS 1989: 17-35 |
1988 |
10 | | Peter D. Mosses:
Unified Algebras.
ADT 1988 |
1987 |
9 | | Peter D. Mosses,
Gordon D. Plotkin:
On Proving Limiting Completeness.
SIAM J. Comput. 16(1): 179-194 (1987) |
1986 |
8 | | Peter D. Mosses:
Action Semantics.
ADT 1986 |
1984 |
7 | | Peter D. Mosses:
A Basic Abstract Semantic Algebra.
Semantics of Data Types 1984: 87-107 |
1983 |
6 | | Peter D. Mosses:
A Solution to Problem 7 - Parallel Combinator Reduction Machine -.
The Analysis of Concurrent Systems 1983: 354-358 |
1981 |
5 | | Peter D. Mosses:
A Semantic Algebra for Binding Constructs.
ICFPC 1981: 408-418 |
1980 |
4 | | Peter D. Mosses:
A Constructive Approach to Compiler Correctness.
ICALP 1980: 449-469 |
3 | | Peter D. Mosses:
A constructive approach to compiler correctness.
Semantics-Directed Compiler Generation 1980: 189-210 |
1976 |
2 | | Peter D. Mosses:
Compiler Generation Using Denotational Semantics.
MFCS 1976: 436-441 |
1974 |
1 | | Peter D. Mosses:
The Semantics of Semantic Equations.
MFCS 1974: 409-422 |