( en | de | ru )

 

Disambiguierung von "Fokkink, Wan J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Road Ahead for Supervisor Synthesis.

, , , , , , , , , , und . SETTA, Volume 12153 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2020)

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.

Wan Shen

Xianglong Wan

Hui Wan

Qian Wan

Ning Wan

 

Weitere Publikationen von Autoren mit dem selben Namen

Structural operational semantics and bounded nondeterminism., und . Acta Inf., 39 (6-7): 501-516 (2003)Preface: Process Algebra., und . Inf. Process. Lett., 80 (1): 1 (2001)Model checking mobile ad hoc networks., und . Formal Methods Syst. Des., 49 (3): 159-189 (2016)Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems., , und . ACM Trans. Program. Lang. Syst., 20 (3): 679-706 (1998)Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity., und . Inf. Comput., (2017)Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics., und . Comput. J., 56 (1): 34-44 (2013)Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation., , und . FMCO, Volume 4111 von Lecture Notes in Computer Science, Seite 195-218. Springer, (2005)Process Algebra: An Algebraic Theory of Concurrency.. CAI, Volume 5725 von Lecture Notes in Computer Science, Seite 47-77. Springer, (2009)Maximal Synthesis for Hennessy-Milner Logic., , und . ACM Trans. Embed. Comput. Syst., 14 (1): 10:1-10:21 (2015)Is Timed Branching Bisimilarity a Congruence Indeed?, , und . Fundam. Informaticae, 87 (3-4): 287-311 (2008)