( en | de | ru )

 

Disambiguierung von "Baldamus, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
First-order Semantics for Higher-order Processes.

. HOOTS, Volume 41 von Electronic Notes in Theoretical Computer Science, Seite 50-69. Elsevier, (2000)

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.

Michael Baldamus

Gerd Baldamus

Wilhelm Baldamus

Conrad Baldamus

Verena Baldamus

 

Weitere Publikationen von Autoren mit dem selben Namen

New Concepts of Amalgamation and Extension for a General Theory of Specifications., , und . COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 199-221. Springer, (1991)Spi Calculus Translated to ?--Calculus Preserving May-Tests., , und . LICS, Seite 22-31. IEEE Computer Society, (2004)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)Semantics and logic of higher order processes: characterizing late context bisimulation.. Technical University of Berlin, Germany, (1998)First-order Semantics for Higher-order Processes.. HOOTS, Volume 41 von Electronic Notes in Theoretical Computer Science, Seite 50-69. Elsevier, (2000)New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 285-296. Springer, (1997)p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)., und . SPIN, Volume 2057 von Lecture Notes in Computer Science, Seite 183-191. Springer, (2001)The BDD Space Complexity of Different Forms of Concurrency., und . ACSD, Seite 231-. IEEE Computer Society, (2001)