Author of the publication

A Heterogeneous Approach to UML Semantics.

, , , and . Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 383-402. Springer, (2008)

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, the Common Algebraic Specification Language, , , and . Logics of formal specification languages, volume 22 of Monographs in Theoretical Computer Science, chapter 3, Springer-Verlag Heidelberg, (2008)Algebraic Specification with Built-in Domain Constructions., , and . CAAP, volume 299 of Lecture Notes in Computer Science, page 132-148. Springer, (1988)Continuous abstract data types: basic machinery and results., and . FCT, volume 199 of Lecture Notes in Computer Science, page 431-441. Springer, (1985)Formal Development of ML Programs: Methodological Aspects., and . ADT, (1988)A Naive Domain Universe for VDM., and . VDM Europe, volume 428 of Lecture Notes in Computer Science, page 552-579. Springer, (1990)The Semantics of Extended ML: A Gentle Introduction., , and . Semantics of Specification Languages, page 186-215. Springer, (1993)Amalgamation in CASL via Enriched Signatures., , and . ICALP, volume 2076 of Lecture Notes in Computer Science, page 993-1004. Springer, (2001)A Three-Valued Logic for Software Specification and Validation., , and . VDM Europe, volume 328 of Lecture Notes in Computer Science, page 218-242. Springer, (1988)Modularity of Ontologies in an Arbitrary Institution, , , and . Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, page 361--379. (2015)What is a Logic? (revised version), , , and . Logica Universalis, second edition, page 111-133. Birkhäuser, (2007)