Author of the publication

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.

 

Other publications of authors with the same name

CASL Logic, , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)Union of Equational Theories: An Algebraic Approach.. RTA, volume 3467 of Lecture Notes in Computer Science, page 61-73. Springer, (2005)Checking Amalgamability Conditions for C ASL Architectural Specifications., , , , and . MFCS, volume 2136 of Lecture Notes in Computer Science, page 451-463. Springer, (2001)Semantics of Architectural Specifications in CASL., , , , and . FASE, volume 2029 of Lecture Notes in Computer Science, page 253-268. Springer, (2001)Amalgamation in the semantics of CASL., , , , and . Theor. Comput. Sci., 331 (1): 215-247 (2005)Semantics of Architectural Specifications in CASL, , , , and . Fundamental Approaches to Software Engineering, volume 2029 of Lecture Notes in Computer Science, page 253--268. Springer; Berlin; http://www.springer.de, (2001)Verifying Architectural Specifications.. WADT, volume 2267 of Lecture Notes in Computer Science, page 152-175. Springer, (2001)Reachability in Unions of Commutative Rewriting Systems Is Decidable., and . STACS, volume 4393 of Lecture Notes in Computer Science, page 622-633. Springer, (2007)Amalgamation in the semantics of CASL, , , , and . Theoretical Computer Science, 331 (1): 215-247 (2005)Checking amalgamability conditions for CASL architectural specifications, , , , and . Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, page 512--523. Springer; Berlin; http://www.springer.de, (2001)