( en | de | ru )

 

Disambiguierung von "Hirschkoff, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Representation of McCarthy's amb in the π-calculus.

, , und . EXPRESS, Volume 96 von Electronic Notes in Theoretical Computer Science, Seite 73-89. Elsevier, (2003)

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.

Daniel

Daniel

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)

Daniel Stanze

Systematische Analyse von Rezeptoren und Effektormechanismen der pulmonalen angeborenen Immunität. Uni Marburg, (2009)

Daniel Wied

Zivilprozessuale Qualifikationsprobleme im Spannungsfeld von Vertrag und Delikt: ein Beitrag zur Auslegung nationalen Zivilprozessrechts in europäischer Perspektive. Uni Regensburg, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts., , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 24-45. Springer, (2023)Modeling Imperative Constructs in the Pi-Calculus., , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 136-138. CEUR-WS.org, (2019)Duality and i/o-Types in the π-Calculus., , und . CONCUR, Volume 7454 von Lecture Notes in Computer Science, Seite 302-316. Springer, (2012)On the Representation of References in the Pi-Calculus., , und . CONCUR, Volume 171 von LIPIcs, Seite 34:1-34:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Divergence and unique solution of equations., , und . Logical Methods in Computer Science, (2019)An Extensional Spatial Logic for Mobile Processes.. CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 325-339. Springer, (2004)On sequentiality and well-bracketing in the π-calculus., , und . LICS, Seite 1-13. IEEE, (2021)Incremental Inference of Partial Types., und . ICTCS, Volume 2202 von Lecture Notes in Computer Science, Seite 50-73. Springer, (2001)On the Benefits of Using the Up-To Techniques for Bisimulation Verification.. TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 285-299. Springer, (1999)A Behavioural Theory for a π-calculus with Preorders., , und . FSEN, Volume 9392 von Lecture Notes in Computer Science, Seite 143-158. Springer, (2015)