Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Mosses, Peter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
CASL: The common algebraic specification language
Egidio Astesiano
,
Michel Bidoit
,
Hélène Kirchner
,
Bernd Krieg-Brückner
,
Peter D. Mosses
,
Donald Sannella
,
Andrzej Tarlecki
Theoretical Computer Science
286
(2), 2002, pp. 153-196
The varieties of programming language semantics
Peter D. Mosses
Lecture Notes in Computer Science
1872
, 2000, pp. 624-628
Foundations of modular SOS
Peter D. Mosses
Lecture Notes in Computer Science
1672
, 1999, pp. 70-80
Valentin Antimirov (1961-1995) (obituary)
Gregory Kucherov
,
Pierre Lescanne
,
Peter Mosses
Theoretical Computer Science
155
(2), 1996, pp. 289-290
Theory and practice of action semantics
Peter D. Mosses
Lecture Notes in Computer Science
1113
, 1996, pp. 37-61
Rewriting extended regular expressions
Valentin M. Antimirov
,
Peter D. Mosses
Theoretical Computer Science
143
(1), 1995, pp. 51-72
Unified algebras and action semantics
Peter D. Mosses
Lecture Notes in Computer Science
349
, 1989, pp. 17-35