PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vogler, Walter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Nondeterministic Modal Interfaces.

, , , und . Theor. Comput. Sci., (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Raphael Vogler University of Stuttgart

Patrick Vogler University of Stuttgart

Walter Ganz University of Stuttgart

Prof. Dr. -Ing. Walter Schönwandt University of Stuttgart

J Walter

 

Weitere Publikationen von Autoren mit dem selben Namen

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations., , und . APAQS, Seite 231-240. IEEE Computer Society, (2001)Error-pruning in interface automata., und . Theor. Comput. Sci., (2015)Ready Simulation for Concurrency: It's Logical!, und . ICALP, Volume 4596 von Lecture Notes in Computer Science, Seite 752-763. Springer, (2007)A Short STory on Action Refinement.. Foundations of Computer Science: Potential - Theory - Cognition, Volume 1337 von Lecture Notes in Computer Science, Seite 271-278. Springer, (1997)Failures Semantics and Deadlocking of Modular Petri Nets.. MFCS, Volume 324 von Lecture Notes in Computer Science, Seite 542-551. Springer, (1988)Relating Fairness and Timing in Process Algebras., , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 438-452. Springer, (2003)Checking a Mutex Algorithm in a Process Algebra with Fairness., , und . CONCUR, Volume 4137 von Lecture Notes in Computer Science, Seite 142-157. Springer, (2006)Modal Interface Automata., und . IFIP TCS, Volume 7604 von Lecture Notes in Computer Science, Seite 265-279. Springer, (2012)Decomposition in Asynchronous Circuit Design., und . FSTTCS, Volume 2556 von Lecture Notes in Computer Science, Seite 336-347. Springer, (2002)STG Decomposition: Internal Communication for SI Implementability., , , und . ACSD, Seite 13-23. IEEE Computer Society, (2010)