Autor der Publikation

On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions.

, , und . PDCAT, Seite 563-568. IEEE, (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Expected computations on color spanning sets., , , , und . J. Comb. Optim., 29 (3): 589-604 (2015)Efficient approach to top-k dominating queries on service selection., , und . WMNC, Seite 1-8. IEEE, (2013)The Buffered π-Calculus: A Model for Concurrent Languages, , , und . CoRR, (2012)Genomic Scaffold Filling Revisited., , , , , und . CPM, Volume 54 von LIPIcs, Seite 15:1-15:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis., , , , und . Rel. Eng. & Sys. Safety, (2014)A meta-model for large-scale software system., , und . SMC, Seite 3501-3505. IEEE, (2003)A QoS-aware Computation Model for Dynamic Web Service Selection., , , und . CIT, Seite 230-235. IEEE Computer Society, (2012)A Visual Modeling Framework of Workflow Systems Based on CCS., , und . SKG, Seite 200-207. IEEE Computer Society, (2009)On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions., , , und . IDCS, Volume 7646 von Lecture Notes in Computer Science, Seite 120-133. Springer, (2012)The Early and Late Congruences for Asymmetric chi!=-Calculus.. CIS, Volume 3314 von Lecture Notes in Computer Science, Seite 371-378. Springer, (2004)