Michael Baldamus - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2005

A Fully Abstract Encoding of the ::::pi::::-Calculus with Data TermsMichael Baldamus, Joachim Parrow, Björn Victor. icalp 2005: 1202-1213 [doi]

2004

Spi Calculus Translated to ?--Calculus Preserving May-TestsMichael Baldamus, Joachim Parrow, Björn Victor. lics 2004: 22-31 [doi]

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation ToolkitsMichael Baldamus, Jesper Bengtson, Gian Luigi Ferrari, Roberto Raggi. ENTCS, 105:11-20, 2004. [doi]

2002

Modifying Esterel Concepts to Model Hybrid SystemsMichael Baldamus, Thomas Stauner. ENTCS, 65(5):35-49, 2002. [doi]

The BDD Space Complexity of Different Forms of ConcurrencyMichael Baldamus, Klaus Schneider. FUIN, 50(2):111-133, 2002.

2001

p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)Michael Baldamus, Jochen Schröder-Babo. spin 2001: 183-191 [doi]

The BDD Space Complexity of Different Forms of ConcurrencyMichael Baldamus, Klaus Schneider. acsd 2001: 231 [doi]

Can American Checkers be Solved by Means of Symbolic Model Checking?Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller. ENTCS, 43:15-33, 2001. [doi]

2000

First-order Semantics for Higher-order ProcessesMichael Baldamus. ENTCS, 41(3):50-69, 2000. [doi]

Compositional Constructor Interpretation over Coalgebraic Models for the pi-CalculusMichael Baldamus. ENTCS, 33:13-41, 2000. [doi]

1999

Abstract and behaviour module specificationsFelix Cornelius, Michael Baldamus, Hartmut Ehrig, Fernando Orejas. mscs, 9(1):21-62, 1999.

1998

Semantics and logic of higher order processes: characterizing late context bisimulationMichael Baldamus. PhD thesis, Technical University of Berlin, Germany, 1998. [doi]

1997

Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)Michael Baldamus, Jürgen Dingel. tapsoft 1997: 285-296

1993

New Concepts for Amalgamation and Extension in the Framework of Specification LogicsHartmut Ehrig, Michael Baldamus, Fernando Orejas. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 161-182, World Scientific, 1993. [doi]

1991

Theory of Algebraic Module Specification including Behavioral Semantics and ConstraintsHartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas. amast 1992: 145-172

New Concepts of Amalgamation and Extension for a General Theory of SpecificationsHartmut Ehrig, Michael Baldamus, Fernando Orejas. compass 1993: 199-221

Amalgamation and Extension in the Framework of Specification Logics and Generalized MorphismsHartmut Ehrig, Michael Baldamus, Fernando Orejas. eatcs, 44:129-143, 1991.

Sign in or sign up to see more results.

runs on WebDSL