( en | de | ru )

 

Disambiguation of "Baldamus, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

, , and . Current Trends in Theoretical Computer Science, volume 40 of World Scientific Series in Computer Science, World Scientific, (1993)

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.

Michael Baldamus

Gerd Baldamus

Wilhelm Baldamus

Conrad Baldamus

Verena Baldamus

 

Other publications of authors with the same name

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