( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).

, и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 285-296. Springer, (1997)

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.

Michael Baldamus

Gerd Baldamus

Wilhelm Baldamus

Conrad Baldamus

Verena Baldamus

 

Другие публикации лиц с тем же именем

New Concepts of Amalgamation and Extension for a General Theory of Specifications., , и . COMPASS/ADT, том 655 из Lecture Notes in Computer Science, стр. 199-221. Springer, (1991)Spi Calculus Translated to ?--Calculus Preserving May-Tests., , и . LICS, стр. 22-31. IEEE Computer Society, (2004)A Fully Abstract Encoding of the pi-Calculus with Data Terms., , и . ICALP, том 3580 из Lecture Notes in Computer Science, стр. 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, том 41 из Electronic Notes in Theoretical Computer Science, стр. 50-69. Elsevier, (2000)New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , и . Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)., и . TAPSOFT, том 1214 из Lecture Notes in Computer Science, стр. 285-296. Springer, (1997)p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)., и . SPIN, том 2057 из Lecture Notes in Computer Science, стр. 183-191. Springer, (2001)The BDD Space Complexity of Different Forms of Concurrency., и . ACSD, стр. 231-. IEEE Computer Society, (2001)