( en | de | ru )

 

Disambiguation of "Hirschkoff, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Imperative Constructs in the Pi-Calculus.

, , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 136-138. CEUR-WS.org, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel

Daniel

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)

Daniel Dirkmann

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

Other publications of authors with the same name

Deciding Contextual Equivalence of ν-Calculus with Effectful Contexts., , and . FoSSaCS, volume 13992 of Lecture Notes in Computer Science, page 24-45. Springer, (2023)Eager Functions as Processes., , and . CoRR, (2021)Modeling Imperative Constructs in the Pi-Calculus., , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 136-138. CEUR-WS.org, (2019)Divergence and unique solution of equations., , and . Logical Methods in Computer Science, (2019)Towards 'up to context' reasoning about higher-order processes., , and . Theor. Comput. Sci., (2020)An Extensional Spatial Logic for Mobile Processes.. CONCUR, volume 3170 of Lecture Notes in Computer Science, page 325-339. Springer, (2004)Eager functions as processes., , and . Theor. Comput. Sci., (2022)On sequentiality and well-bracketing in the π-calculus., , and . LICS, page 1-13. IEEE, (2021)Calculs de processus: observations et inspections. (Process calculi: observations, inspections).. (2009)Duality and i/o-Types in the π-Calculus., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 302-316. Springer, (2012)