×

zbMATH — the first resource for mathematics

Mosses, Peter D.

Compute Distance To:
Author ID: mosses.peter-d Recent zbMATH articles by "Mosses, Peter D."
Published as: Mosses, Peter D.; Mosses, Peter; Mosses, P. D.; Mosses, P.
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef
Documents Indexed: 52 Publications since 1975, including 11 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 242 times in 160 Documents Cited by Year
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Modular structural operational semantics. Zbl 1072.68061
Mosses, Peter D.
27
2004
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
Mosses, Peter D. (ed.)
26
2004
Denotational semantics. Zbl 0900.68295
Mosses, Peter D.
17
1990
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025
Bidoit, Michel; Mosses, Peter D.
16
2004
Unified algebras and institutions. Zbl 0716.68066
Mosses, Peter D.
15
1989
Action semantics. Zbl 0875.68618
Mosses, Peter D.
12
1992
Pragmatics of modular SOS. Zbl 1275.68086
Mosses, Peter D.
10
2002
Foundations of modular SOS. Zbl 0955.68075
Mosses, Peter D.
9
1999
Rewriting extended regular expressions. Zbl 0873.68104
Antimirov, Valentin M.; Mosses, Peter D.
6
1995
The semantics of semantic equations. Zbl 0308.68016
Mosses, P. D.
6
1975
Compiler generation using denotational semantics. Zbl 0338.68021
Mosses, P. D.
6
1976
Maude action tool: Using reflection to map action semantics to rewriting logic. Zbl 0983.68519
de O. Braga, Christiano; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2000
CoFI: The common framework initiative for algebraic specification and development. Zbl 1049.68091
Mosses, Peter D.
5
2001
Implicit propagation in structural operational semantics. Zbl 1339.68159
Mosses, Peter D.; New, Mark J.
5
2009
Mapping modular SOS to rewriting logic. Zbl 1278.68166
De Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2003
Modular bisimulation theory for computations and values. Zbl 1260.68261
Churchill, Martin; Mosses, Peter D.
5
2013
Composing programming languages by combining action-semantics modules. Zbl 1038.68013
Doh, Kyung-Goo; Mosses, Peter D.
4
2003
Exploiting labels in structural operational semantics. Zbl 1083.68066
Mosses, Peter D.
4
2004
Abstract semantic algebras. Zbl 0513.68071
Mosses, Peter
3
1983
Semantics, modularity, and rewriting logic. Zbl 0917.68110
Mosses, Peter D.
2
1998
Deriving pretty-big-step semantics from small-step semantics. Zbl 1405.68173
Bach Poulsen, Casper; Mosses, Peter D.
2
2014
Weak bisimulation as a congruence in MSOS. Zbl 1321.68363
Mosses, Peter D.; Vesely, Ferdinand
2
2015
A semantic algebra for binding constructs. Zbl 0467.68013
Mosses, Peter
1
1981
Unified algebras and abstract syntax. Zbl 0941.08501
Mosses, Peter D.
1
1994
Logical specification of operational semantics. Zbl 0969.68098
Mosses, Peter D.
1
1999
The varieties of programming language semantics (and their uses). Zbl 1073.68554
Mosses, Peter D.
1
2001
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
Generating specialized interpreters for modular structural operational semantics. Zbl 1453.68040
Bach Poulsen, Casper; Mosses, Peter D.
1
2014
Modular semantics for transition system specifications with negative premises. Zbl 1390.68465
Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza
1
2013
Flag-based big-step semantics. Zbl 1362.68160
Bach Poulsen, Casper; Mosses, Peter D.
1
2017
A basic abstract semantic algebra. Zbl 0543.68008
Mosses, Peter
1
1984
Programming language description languages. From Christopher Strachey to semantics online. Zbl 1200.68064
Mosses, Peter D.
1
2010
VDM semantics of programming languages: Combinators and monads. Zbl 1151.68353
Mosses, Peter D.
1
2007
Flag-based big-step semantics. Zbl 1362.68160
Bach Poulsen, Casper; Mosses, Peter D.
1
2017
Weak bisimulation as a congruence in MSOS. Zbl 1321.68363
Mosses, Peter D.; Vesely, Ferdinand
2
2015
Deriving pretty-big-step semantics from small-step semantics. Zbl 1405.68173
Bach Poulsen, Casper; Mosses, Peter D.
2
2014
Generating specialized interpreters for modular structural operational semantics. Zbl 1453.68040
Bach Poulsen, Casper; Mosses, Peter D.
1
2014
Modular bisimulation theory for computations and values. Zbl 1260.68261
Churchill, Martin; Mosses, Peter D.
5
2013
Modular semantics for transition system specifications with negative premises. Zbl 1390.68465
Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza
1
2013
Programming language description languages. From Christopher Strachey to semantics online. Zbl 1200.68064
Mosses, Peter D.
1
2010
Implicit propagation in structural operational semantics. Zbl 1339.68159
Mosses, Peter D.; New, Mark J.
5
2009
VDM semantics of programming languages: Combinators and monads. Zbl 1151.68353
Mosses, Peter D.
1
2007
Modular structural operational semantics. Zbl 1072.68061
Mosses, Peter D.
27
2004
CASL reference manual. The complete documentation of the common algebraic specification language. Zbl 1046.68001
Mosses, Peter D.
26
2004
CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. Zbl 1033.68025
Bidoit, Michel; Mosses, Peter D.
16
2004
Exploiting labels in structural operational semantics. Zbl 1083.68066
Mosses, Peter D.
4
2004
Mapping modular SOS to rewriting logic. Zbl 1278.68166
De Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2003
Composing programming languages by combining action-semantics modules. Zbl 1038.68013
Doh, Kyung-Goo; Mosses, Peter D.
4
2003
CASL: the Common Algebraic Specification Language. Zbl 1061.68103
Astesiano, Egidio; Bidoit, Michel; Kirchner, Hélène; Krieg-Brückner, Bernd; Mosses, Peter D.; Sannella, Donald; Tarlecki, Andrzej
39
2002
Pragmatics of modular SOS. Zbl 1275.68086
Mosses, Peter D.
10
2002
CoFI: The common framework initiative for algebraic specification and development. Zbl 1049.68091
Mosses, Peter D.
5
2001
The varieties of programming language semantics (and their uses). Zbl 1073.68554
Mosses, Peter D.
1
2001
Maude action tool: Using reflection to map action semantics to rewriting logic. Zbl 0983.68519
de O. Braga, Christiano; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2000
Foundations of modular SOS. Zbl 0955.68075
Mosses, Peter D.
9
1999
Logical specification of operational semantics. Zbl 0969.68098
Mosses, Peter D.
1
1999
Semantics, modularity, and rewriting logic. Zbl 0917.68110
Mosses, Peter D.
2
1998
Rewriting extended regular expressions. Zbl 0873.68104
Antimirov, Valentin M.; Mosses, Peter D.
6
1995
Unified algebras and abstract syntax. Zbl 0941.08501
Mosses, Peter D.
1
1994
Action semantics. Zbl 0875.68618
Mosses, Peter D.
12
1992
Denotational semantics. Zbl 0900.68295
Mosses, Peter D.
17
1990
Unified algebras and institutions. Zbl 0716.68066
Mosses, Peter D.
15
1989
On proving limiting completeness. Zbl 0632.68012
Mosses, Peter D.; Plotkin, Gordon D.
1
1987
A basic abstract semantic algebra. Zbl 0543.68008
Mosses, Peter
1
1984
Abstract semantic algebras. Zbl 0513.68071
Mosses, Peter
3
1983
A semantic algebra for binding constructs. Zbl 0467.68013
Mosses, Peter
1
1981
Compiler generation using denotational semantics. Zbl 0338.68021
Mosses, P. D.
6
1976
The semantics of semantic equations. Zbl 0308.68016
Mosses, P. D.
6
1975
all top 5

Cited by 213 Authors

13 Meseguer Guaita, José
12 Diaconescu, Răzvan
12 Mossakowski, Till
10 Mosses, Peter D.
8 Roşu, Grigore
6 Tarlecki, Andrzej
5 Codescu, Mihai
5 Hennicker, Rolf
5 Roggenbach, Markus
4 Gaĭnă, Daniel
4 Sannella, Donald T.
4 Schröder, Lutz
4 Şerbănuţă, Traian Florin
3 Bidoit, Michel
3 Colvin, Robert J.
3 Kirchner, Hélène
3 Klin, Bartek
3 Kutz, Oliver
3 Madeira, Alexandre
3 Martí-Oliet, Narciso
3 Moreira, Nelma
3 Ogata, Kazuhiro
3 Rabe, Florian
2 Antimirov, Valentin M.
2 Autexier, Serge
2 Bach Poulsen, Casper
2 Barbosa, Luís Soares
2 Choppy, Christine
2 Confalonieri, Roberto
2 Cousot, Patrick
2 Cousot, Radhia
2 Dunets, Andriy
2 Ehrich, Hans-Dieter
2 Futatsugi, Kokichi
2 Goguen, Joseph Amadee
2 Hintermeier, Claus
2 Horozal, Fulya
2 Kohlhase, Michael
2 Krieg-Brückner, Bernd
2 Liberti, Leo
2 Martins Moreira, Anamaria
2 Martins, Manuel António
2 Melo de Sousa, Simão
2 Orejas, Fernando
2 Pereira, David P.
2 Reggio, Gianna
2 Reif, Wolfgang
2 Reniers, Michel Adriaan
2 Riesco, Adrián
2 Schellhorn, Gerhard
2 Schmidt, David A.
2 Sojakova, Kristina
2 Ţuţu, Ionuţ
2 Verdejo, Alberto
2 Wirsing, Martin
1 Aiguier, Marc
1 AlTurki, Musab A.
1 Ancona, Davide
1 Bacelar Almeida, José
1 Bastos, Rafaela
1 Bauer, Sebastian S.
1 Baumeister, Hubert
1 Ben-David, Shoham
1 Bettaz, Mohamed
1 Bierman, Gavin M.
1 Bondorf, Anders
1 Borzyszkowski, Tomasz
1 Bouhoula, Adel
1 Braga, Christiano
1 Broda, Sabine
1 Burstall, Rod M.
1 Cafieri, Sonia
1 Cañete-Valdeón, José M.
1 Cardone, Felice
1 Cartmell, John
1 Cimini, Matteo
1 Ciobanu, Gabriel
1 Clavel, Manuel
1 Coppo, Mario
1 Costa, Alberto L. C.
1 Dagnino, Francesco
1 de Boer, Frank S.
1 Déharbe, David
1 Demangeon, Romain
1 Dietrich, Dominik
1 Doh, Kyung-Goo
1 Dosch, Walter
1 Durán, Francisco
1 Eker, Steven
1 Eppe, Manfred
1 Escobar, Santiago
1 Even, Susan
1 Fiech, Adrian
1 Filinski, Andrzej
1 Fisman, Dana
1 Gabbay, Murdoch James
1 Galpin, Vashti
1 Gavryushkin, Alex
1 Ghani, Neil
1 Ghomsi Nokam, Sidoine
...and 113 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.