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="Marchetti, Carlo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A classification of total order specifications and its application to fixed sequencer-based implementations
Roberto Baldoni
,
Stefano Cimmino
,
Carlo Marchetti
Journal Parallel Distributed Computing
66
(1), 2006, pp. 108-127
A fault-tolerant sequencer for timed asynchronous systems
Roberto Baldoni
,
Carlo Marchetti
,
Sara Tucci Piergiovanni
Lecture Notes in Computer Science
2400
, 2002, pp. 578-588