×

zbMATH — the first resource for mathematics

Baldamus, Michael

Compute Distance To:
Author ID: baldamus.michael Recent zbMATH articles by "Baldamus, Michael"
Published as: Baldamus, Michael
Documents Indexed: 9 Publications since 1991

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 22 times in 20 Documents Cited by Year
A fully abstract encoding of the \(\pi\)-calculus with data terms (extended abstract). Zbl 1085.68594
Baldamus, Michael; Parrow, Joachim; Victor, Björn
7
2005
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
7
1999
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
5
1991
Compositional constructor interpretation over coalgebraic models for the \(\pi\)-calculus. Zbl 0966.68148
Baldamus, Michael
2
2000
p2b: A translation utility for linking Promela and symbolic model checking (tool paper). Zbl 0985.68676
Baldamus, Michael; Schröder-Babo, Jochen
1
2001
A fully abstract encoding of the \(\pi\)-calculus with data terms (extended abstract). Zbl 1085.68594
Baldamus, Michael; Parrow, Joachim; Victor, Björn
7
2005
p2b: A translation utility for linking Promela and symbolic model checking (tool paper). Zbl 0985.68676
Baldamus, Michael; Schröder-Babo, Jochen
1
2001
Compositional constructor interpretation over coalgebraic models for the \(\pi\)-calculus. Zbl 0966.68148
Baldamus, Michael
2
2000
Abstract and behaviour module specifications. Zbl 0923.68089
Cornelius, Felix; Baldamus, Michael; Ehrig, Hartmut; Orejas, Fernando
7
1999
Amalgamation and extension in the framework of specification logics and generalized morphisms. Zbl 0744.68099
Ehrig, Hartmut; Baldamus, Michael; Orejas, Fernando
5
1991

Citations by Year