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