Peter D. Mosses

Martin Churchill, Peter D. Mosses: Modular Bisimulation Theory for Computations and Values. FoSSaCS 2013: 97-112

Peter D. Mosses: VDM semantics of programming languages: combinators and monads. Formal Asp. Comput. 23(2): 221-238 (2011)

Adrian Johnstone, Peter D. Mosses, Elizabeth Scott: An agile approach to language modelling and development. ISSE 6(1-2): 145-153 (2010)

Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions. EXPRESS'10 2010: 106-120

Peter D. Mosses, Mark J. New: Implicit Propagation in Structural Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(4): 49-66 (2009)

Rob J. van Glabbeek, Peter D. Mosses: Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009)

Marco Tulio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior: SBLP 2008: XII Brazilian Symposium on Programming. J. UCS 14(21): 3412-3414 (2008)

Peter D. Mosses: Component-Based Description of Programming Languages. BCS Int. Acad. Conf. 2008: 275-286

Rob J. van Glabbeek, Peter D. Mosses: Preface. Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007)

Peter D. Mosses, Irek Ulidowski: Preface. Theor. Comput. Sci. 373(3): 161-162 (2007)

Peter D. Mosses: VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems 2007: 483-503

Peter D. Mosses: Formal Semantics of Programming Languages: - An Overview - . Electr. Notes Theor. Comput. Sci. 148(1): 41-73 (2006)

Peter D. Mosses, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 156(1): 1-2 (2006)

Mark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Sci. Comput. Program. 61(3): 245-264 (2006)

Peter D. Mosses: Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen 2006: 281-295

Peter D. Mosses: A Constructive Approach to Language Definition. J. UCS 11(7): 1117-1134 (2005)

Michel Bidoit, Peter D. Mosses: Casl User Manual - Introduction to Using the Common Algebraic Specification Language. Lecture Notes in Computer Science 2900, Springer 2004, isbn 3-540-20766-X

Peter D. Mosses: CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. Lecture Notes in Computer Science 2960, Springer 2004, isbn 3-540-21301-5

Mark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Electr. Notes Theor. Comput. Sci. 110: 149-168 (2004)

Mark van den Brand, Jørgen Iversen, Peter D. Mosses: The Action Environment: -- Tool Demonstration --. Electr. Notes Theor. Comput. Sci. 110: 177-180 (2004)

Peter D. Mosses: Exploiting Labels in Structural Operational Semantics. Fundam. Inform. 60(1-4): 17-31 (2004)

Peter D. Mosses: Modular structural operational semantics. J. Log. Algebr. Program. 60-61: 195-228 (2004)

Peter D. Mosses: Modular Language Descriptions. GPCE 2004: 489

Peter D. Mosses: Exploiting labels in Structural Operational Semantics. SAC 2004: 1476-1481

José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (Eds.): Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3423, Springer 2004, isbn 3-540-25327-0

Kyung-Goo Doh, Peter D. Mosses: Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1): 3-36 (2003)

Peter D. Mosses: Action Semantics and ASF+SDF: System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 2-8 (2002)

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)

Peter D. Mosses: Pragmatics of Modular SOS. AMAST 2002: 21-40

Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277

Kyung-Goo Doh, Peter D. Mosses: Composing Programming Languages by Combining Action-Semantics Modules. Electr. Notes Theor. Comput. Sci. 44(2): 87-109 (2001)

Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. 11(3): 453-481 (2001)

Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification and Development. Current Trends in Theoretical Computer Science 2001: 153-163

Peter D. Mosses: The Varieties of Programming Language Semantics. Ershov Memorial Conference 2001: 165-190

Peter D. Mosses: A Foreword to `Fundamental Concepts in Programming Languages'. Higher-Order and Symbolic Computation 13(1/2): 7-9 (2000)

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

Peter D. Mosses: The Varieties of Programming Language Semantics. IFIP TCS 2000: 624-628

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. Lecture Notes in Computer Science 1872, Springer 2000, isbn 3-540-67823-9

Didier Bert, Christine Choppy, Peter D. Mosses (Eds.): Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Lecture Notes in Computer Science 1827, Springer 2000, isbn 3-540-67898-0

Peter D. Mosses: Logical Specification of Operational Semantics. CSL 1999: 32-49

Peter D. Mosses: Foundations of Modular SOS. MFCS 1999: 70-80

Peter D. Mosses: Semantics, modularity, and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 404-421 (1998)

Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388

Peter D. Mosses: CASL: A Guided Tour of Its Design. WADT 1998: 216-240

Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification and Development. TAPSOFT 1997: 115-137

Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification. Bulletin of the EATCS 59 (1996)

Gregory Kucherov, Pierre Lescanne, Peter D. Mosses: Valentin M. Antimirov (1961-1995). Theor. Comput. Sci. 155(2): 289-290 (1996)

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach: Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167(1&2): 1 (1996)

Arie van Deursen, Peter D. Mosses: ASD: The Action Semantic Description Tools. AMAST 1996: 579-582

Peter D. Mosses: Theory and Practice of Action Semantics. MFCS 1996: 37-61

Valentin M. Antimirov, Peter D. Mosses: Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143(1): 51-72 (1995)

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT 1995: 255-273

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses: Rⁿ- and Gⁿ-Logics. HOA 1995: 90-108

Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (Eds.): TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915, Springer 1995, isbn 3-540-59293-8

Peter D. Mosses, Martín Musicante: An Action Semantics for ML Concurrency Primitives. FME 1994: 461-479

Arie van Deursen, Peter D. Mosses: Executing Action Semantic Descriptions using ASF+SDF. AMAST 1993: 413-414

Valentin M. Antimirov, Peter D. Mosses: Rewriting Extended Regular Expressions. Developments in Language Theory 1993: 195-209

Peter D. Mosses: Unified Algebras and Abstract Syntax. COMPASS/ADT 1992: 280-294

Padmanabhan Krishnan, Peter D. Mosses: Specifying Asynchronous Transfer of Control. FTRTFT 1992: 291-306

Peter D. Mosses: On the Action Semantics of Concurrent Programming Languages. REX Workshop 1992: 398-424

Peter D. Mosses: The Use of Sorts in Algebraic Specifications. COMPASS/ADT 1991: 66-92

Peter D. Mosses: Denotational Semantics. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 575-631

Peter D. Mosses: Unified Algebras and Institutions. LICS 1989: 304-312

Peter D. Mosses: Unified Algebras and Modules. POPL 1989: 329-343

Peter D. Mosses: Unified Algebras and Action Semantics. STACS 1989: 17-35

Peter D. Mosses: Unified Algebras. ADT 1988

Peter D. Mosses, Gordon D. Plotkin: On Proving Limiting Completeness. SIAM J. Comput. 16(1): 179-194 (1987)

Peter D. Mosses: Action Semantics. ADT 1986

Peter D. Mosses: A Basic Abstract Semantic Algebra. Semantics of Data Types 1984: 87-107

Peter D. Mosses: A Solution to Problem 7 - Parallel Combinator Reduction Machine -. The Analysis of Concurrent Systems 1983: 354-358

Peter D. Mosses: A Semantic Algebra for Binding Constructs. ICFPC 1981: 408-418

Peter D. Mosses: A constructive approach to compiler correctness. Semantics-Directed Compiler Generation 1980: 189-210

Peter D. Mosses: A Constructive Approach to Compiler Correctness. ICALP 1980: 449-469

Peter D. Mosses: Compiler Generation Using Denotational Semantics. MFCS 1976: 436-441

Peter D. Mosses: The Semantics of Semantic Equations. MFCS 1974: 409-422