Author of the publication

Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

, , and . Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 232-246. Springer; Berlin, (2005)

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

Expressivity of coalgebraic modal logic: The limits and beyond.. Theor. Comput. Sci., 390 (2-3): 230-247 (2008)Monad-independent Dynamic Logic in HasCasl., and . J. Log. Comput., 14 (4): 571-619 (2004)From the Editors., and . J. Comput. Syst. Sci., 81 (5): 797-798 (2015)Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables., , and . FLAIRS Conference, page 665-670. AAAI Press, (2007)Completeness of Global Evaluation Logic, , and . Mathematical Foundations of Computer Science, volume 4162 of Lecture Notes in Computer Science, page 447-458. Springer; Berlin; http://www.springer.de, (2006)Iterative Circular Coinduction for CoCASL in Isabelle/HOL, , and . Fundamental Approaches to Software Engineering 2005, volume 3442 of Lecture Notes in Computer Science, page 341-356. Springer; Berlin; http://www.springer.de, (2005)A generic complete dynamic logic for reasoning about purity and effects, , and . Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, page 199-214. Springer, (2008)Coalgebraic Modal Logic in CoCASL, and . Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, page 128-142. Springer, (2007)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)Generic exception handling and the Java monad, and . Algebraic Methodology and Software Technology, volume 3116 of Lecture Notes in Computer Science, page 443--459. Springer; Berlin; http://www.springer.de, (2004)