Peter D. Mosses

	2011
74		Peter D. Mosses: VDM semantics of programming languages: combinators and monads. Formal Asp. Comput. 23(2): 221-238 (2011)
	2010
73		Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers: Robustness of Equations Under Operational Extensions EXPRESS'10 2010: 106-120
72		Adrian Johnstone, Peter D. Mosses, Elizabeth Scott: An agile approach to language modelling and development. ISSE 6(1-2): 145-153 (2010)
	2009
71		Peter D. Mosses, Mark J. New: Implicit Propagation in Structural Operational Semantics. Electr. Notes Theor. Comput. Sci. 229(4): 49-66 (2009)
70		Rob J. van Glabbeek, Peter D. Mosses: Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009)
	2008
69		Peter D. Mosses: Component-Based Description of Programming Languages. BCS Int. Acad. Conf. 2008: 275-286
68		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)
	2007
67		Peter D. Mosses: VDM Semantics of Programming Languages: Combinators and Monads. Formal Methods and Hybrid Real-Time Systems 2007: 483-503
66		Rob J. van Glabbeek, Peter D. Mosses: Preface. Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007)
65		Peter D. Mosses, Irek Ulidowski: Preface. Theor. Comput. Sci. 373(3): 161-162 (2007)
	2006
64		Peter D. Mosses: Constructive Action Semantics in OBJ. Essays Dedicated to Joseph A. Goguen 2006: 281-295
63		Peter D. Mosses: Formal Semantics of Programming Languages: - An Overview - . Electr. Notes Theor. Comput. Sci. 148(1): 41-73 (2006)
62		Peter D. Mosses, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 156(1): 1-2 (2006)
61		Mark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Sci. Comput. Program. 61(3): 245-264 (2006)
	2005
60		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		Peter D. Mosses: Modular Language Descriptions. GPCE 2004: 489
55		Peter D. Mosses: Exploiting labels in Structural Operational Semantics. SAC 2004: 1476-1481
54		Mark van den Brand, Jørgen Iversen, Peter D. Mosses: An Action Environment. Electr. Notes Theor. Comput. Sci. 110: 149-168 (2004)
53		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		Peter D. Mosses: Exploiting Labels in Structural Operational Semantics. Fundam. Inform. 60(1-4): 17-31 (2004)
51		Peter D. Mosses: Modular structural operational semantics. J. Log. Algebr. Program. 60-61: 195-228 (2004)
	2003
50		Kyung-Goo Doh, Peter D. Mosses: Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1): 3-36 (2003)
	2002
49		Peter D. Mosses: Pragmatics of Modular SOS. AMAST 2002: 21-40
48		Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
47		Peter D. Mosses: Action Semantics and ASF+SDF: System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 2-8 (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		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		Kyung-Goo Doh, Peter D. Mosses: Composing Programming Languages by Combining Action-Semantics Modules. Electr. Notes Theor. Comput. Sci. 44(2): 87-109 (2001)
42		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		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		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		Hélène Kirchner, Peter D. Mosses: Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST 1998: 373-388
33		Peter D. Mosses: CASL: A Guided Tour of Its Design. WADT 1998: 216-240
32		Peter D. Mosses: Semantics, modularity, and rewriting logic. Electr. Notes Theor. Comput. Sci. 15: 404-421 (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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page