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="Stahl, Christian"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Undecidability of accordance for open systems with unbounded message queues
Richard Müller
,
Christian Stahl
,
Walter Vogler
Information Processing Letters
114
(12), 2014, pp. 663-669
Trace- and failure-based semantics for responsiveness
Walter Vogler
,
Christian Stahl
,
Richard Müller
Acta Informatica
51
(8), 2014, pp. 499-552
A trace-based service semantics guaranteeing deadlock freedom
Christian Stahl
,
Walter Vogler
Acta Informatica
49
(2), 2012, pp. 69-103