Author of the publication

Propositional Dynamic Logic for Petri Nets with Iteration.

, , and . ICTAC, volume 9965 of Lecture Notes in Computer Science, page 441-456. (2016)

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

Building Reliable Web Services Compositions., , and . Web, Web-Services, and Database Systems, volume 2593 of Lecture Notes in Computer Science, page 59-72. Springer, (2002)A Constructive Presentation for the Modal Connective of Necessity (\Box)., and . J. Log. Comput., 2 (1): 31-50 (1992)On Fork Arrow Logic and its Expressive Power., , , , and . J. Philosophical Logic, 36 (5): 489-509 (2007)Reasoning about Events and Knowledge in Distributed Systems., and . IC-AI, page 1213-1219. CSREA Press, (2002)A study on multi-dimensional products of graphs and hybrid logics., and . Theor. Comput. Sci., 412 (37): 4946-4966 (2011)PDL for structured data: a graph-calculus approach., , and . Log. J. IGPL, 22 (5): 737-757 (2014)A Compositional Automata-based Approach for Model Checking Multi-Agent Systems., , , , and . SBMF, volume 195 of Electronic Notes in Theoretical Computer Science, page 133-149. Elsevier, (2006)Logics for Petri Nets with Propagating Failures., , and . FSEN, volume 11761 of Lecture Notes in Computer Science, page 145-157. Springer, (2019)A Family of Graded Epistemic Logics., , and . LSFA, volume 338 of Electronic Notes in Theoretical Computer Science, page 45-59. Elsevier, (2017)On a Graph Approach to Modal Logics., , and . LSFA, volume 305 of Electronic Notes in Theoretical Computer Science, page 123-139. Elsevier, (2013)