Author of the publication

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.

, , and . QSIC, page 446-451. IEEE Computer Society, (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

A coalgebraic equational approach to specifying observational structures.. Theor. Comput. Sci., 280 (1-2): 35-68 (2002)A Coalgebraic Approach to Quantitative Linear Time Logics.. CoRR, (2016)Canonical Coalgebraic Linear Time Logics.. CALCO, volume 35 of LIPIcs, page 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Trace semantics and refinement patterns for real-time properties in event-B models., , and . Sci. Comput. Program., (2020)A compositional approach to defining logics for coalgebras.. Theor. Comput. Sci., 327 (1-2): 45-69 (2004)Modular Construction of Modal Logics., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 258-275. Springer, (2004)EXPTIME Tableaux for the Coalgebraic µ-Calculus., , and . CSL, volume 5771 of Lecture Notes in Computer Science, page 179-193. Springer, (2009)Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 219-233. Springer, (2018)On Logics for Coalgebraic Simulation.. CMCS, volume 106 of Electronic Notes in Theoretical Computer Science, page 63-90. Elsevier, (2004)Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.. CMCS, volume 264 of Electronic Notes in Theoretical Computer Science, page 83-103. Elsevier, (2010)