Author of the publication

A Coalgebraic Approach to the Semantics of the Ambient Calculus

, , and . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 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

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung., , , , and . Software Engineering (Workshops), volume P-122 of LNI, page 335-338. GI, (2008)A Coalgebraic Approach to the Semantics of the Ambient Calculus, , and . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).Cheap CTL Compassion in NuSMV., , , and . VMCAI, volume 11990 of Lecture Notes in Computer Science, page 248-269. Springer, (2020)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Alternating Nominal Automata with Name Allocation., , , , and . CoRR, (2024)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)Quasipolynomial Computation of Nested Fixpoints., and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 38-56. Springer, (2021)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 171-185. Springer, (2024)Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology., , and . CoRR, (2024)Faster Game Solving by Fixpoint Acceleration.. CoRR, (2024)