( en | de | ru )

 

Disambiguierung von "Parrow, Joachim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraints as Processes.

, und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 389-405. Springer, (1996)

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.

Joachim Moog

The associations of the plant-ant Cladomyrma with plants in Southeast Asia. Uni Frankfurt Main, (2009)

Hinrich Joachim Stein

Die geriatrisch frührehabilitative Komplexbehandlung nach proximaler Femurfraktur. Uni Münster, (2009)

Joachim Barth

Joachim Bähr

Joachim Ebner

 

Weitere Publikationen von Autoren mit dem selben Namen

A Fully Abstract Encoding of the pi-Calculus with Data Terms., , und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 1202-1213. Springer, (2005)The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, und . LICS, Seite 176-185. IEEE Computer Society, (1998)An Implementation of a Translational Semantics for an Imperative Language., , und . CONCUR, Volume 458 von Lecture Notes in Computer Science, Seite 246-262. Springer, (1990)Caddie - An Interactive Design Environment, und . ISCA, Seite 24-31. ACM, (1983)Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs., und . STACS, Volume 349 von Lecture Notes in Computer Science, Seite 421-433. Springer, (1989)Algebraic descriptions of mobile networks: An example., und . PSTV, Seite 275-291. North-Holland, (1990)Modelling Distributed Systems in an Extension of CCS with Infinite Experiments and Temporal Logic., und . PSTV, Seite 309-348. North-Holland, (1984)An Integrated Approach to Protocol Design Research., , und . PSTV, Seite 309-310. North-Holland, (1982)Constraints as Processes., und . CONCUR, Volume 1119 von Lecture Notes in Computer Science, Seite 389-405. Springer, (1996)Bisimulation up-to techniques for psi-calculi., und . CPP, Seite 142-153. ACM, (2016)