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
[1]
Hilfe
Suche: Author="Bonsangue, M.M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A transition system semanatics for the control-driven coordination language Manifold
M.M. Bonsangue
,
F. Arbab
,
J.W. de Bakker
,
J.J.M.M. Rutten
,
A. Scutellà
,
G. Zavattaro
Theoretical Computer Science
240
(1), 2000, pp. 3-47
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
M.M. Bonsangue
,
F. van Breugel
,
J.J.M.M. Rutten
Theoretical Computer Science
193
(1-2), 1998, pp. 1-51