dblp.uni-trier.dewww.uni-trier.de

Peter D. Mosses Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page - Biographical Citations

*2009
69EERob J. van Glabbeek, Peter D. Mosses: Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009)
2008
68EEPeter D. Mosses: Component-Based Description of Programming Languages. BCS Int. Acad. Conf. 2008: 275-286
2007
67EEPeter D. Mosses: VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems 2007: 483-503
66EERob J. van Glabbeek, Peter D. Mosses: Preface. Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007)
65EEPeter D. Mosses, Irek Ulidowski: Preface. Theor. Comput. Sci. 373(3): 161-162 (2007)
2006
64EEPeter D. Mosses: Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen 2006: 281-295
63EEPeter D. Mosses: Formal Semantics of Programming Languages: - An Overview - . Electr. Notes Theor. Comput. Sci. 148(1): 41-73 (2006)
62EEPeter D. Mosses, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 156(1): 1-2 (2006)
61EEMark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Sci. Comput. Program. 61(3): 245-264 (2006)
2005
60EEPeter 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
56EEPeter D. Mosses: Modular Language Descriptions. GPCE 2004: 489
55EEPeter D. Mosses: Exploiting labels in Structural Operational Semantics. SAC 2004: 1476-1481
54EEMark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Electr. Notes Theor. Comput. Sci. 110: 149-168 (2004)
53EEMark van den Brand, Jørgen Iversen, Peter D. Mosses: The Action Environment: -- Tool Demonstration --. Electr. Notes Theor. Comput. Sci. 110: 177-180 (2004)
52EEPeter D. Mosses: Exploiting Labels in Structural Operational Semantics. Fundam. Inform. 60(1-4): 17-31 (2004)
51EEPeter D. Mosses: Modular structural operational semantics. J. Log. Algebr. Program. 60-61: 195-228 (2004)
2003
50EEKyung-Goo Doh, Peter D. Mosses: Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1): 3-36 (2003)
2002
49EEPeter D. Mosses: Pragmatics of Modular SOS. AMAST 2002: 21-40
48EEChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
47EEPeter 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
45EEPeter 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
43EEKyung-Goo Doh, Peter D. Mosses: Composing Programming Languages by Combining Action-Semantics Modules. Electr. Notes Theor. Comput. Sci. 44(2): (2001)
42EEHé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
39EEChristiano 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
38EEPeter 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
36EEPeter D. Mosses: Logical Specification of Operational Semantics. CSL 1999: 32-49
35EEPeter D. Mosses: Foundations of Modular SOS. MFCS 1999: 70-80
1998
34EEHélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388
33EEPeter D. Mosses: CASL: A Guided Tour of Its Design. WADT 1998: 216-240
32EEPeter D. Mosses: Semantics, modularity, and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
31EEPeter 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
29EEPeter 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
22EEValentin M. Antimirov, Peter D. Mosses: Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143(1): 51-72 (1995)
1994
21EEPeter 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
16EEPeter 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
11EEPeter 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
4EEPeter D. Mosses: A Constructive Approach to Compiler Correctness. ICALP 1980: 449-469
3EEPeter D. Mosses: A constructive approach to compiler correctness. Semantics-Directed Compiler Generation 1980: 189-210
1976
2EEPeter D. Mosses: Compiler Generation Using Denotational Semantics. MFCS 1976: 436-441
1974
1EEPeter D. Mosses: The Semantics of Semantic Equations. MFCS 1974: 409-422

Coauthor Index

1Valentin M. Antimirov [19] [22]
2Egidio Astesiano [46]
3Didier Bert [41]
4Michel Bidoit [46] [59]
5Christiano Braga (Christiano de O. Braga) [39] [48]
6Mark van den Brand (M. G. J. van den Brand) [53] [54] [61]
7Christine Choppy [41]
8Arie van Deursen [20] [30]
9Kyung-Goo Doh [43] [50]
10José Luiz Fiadeiro [57]
11Rob J. van Glabbeek [66] [69]
12Edward Hermann Haeusler [39] [48]
13Masami Hagiya [40]
14Claus Hintermeier [23] [24]
15Takayasu Ito [40]
16Jørgen Iversen [53] [54] [61]
17Hélène Kirchner [23] [24] [34] [42] [46]
18Bernd Krieg-Brückner [46]
19Padmanabhan Krishnan [17]
20Gregory Kucherov [27]
21Jan van Leeuwen [40]
22Pierre Lescanne [27]
23José Meseguer [39] [48]
24Martín Musicante [21]
25Mogens Nielsen [25] [26]
26Fernando Orejas [57]
27Gordon D. Plotkin [9]
28Donald Sannella [46]
29Michael I. Schwartzbach [25] [26]
30Andrzej Tarlecki [46]
31Irek Ulidowski [62] [65]
32Osamu Watanabe [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)