Author of the publication

Deciding service composition and substitutability using extended operating guidelines.

, and . Data Knowl. Eng., 68 (9): 819-833 (2009)

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 trace-based service semantics guaranteeing deadlock freedom., and . Acta Inf., 49 (2): 69-103 (2012)Undecidability of accordance for open systems with unbounded message queues., , and . Inf. Process. Lett., 114 (12): 663-669 (2014)Deciding service composition and substitutability using extended operating guidelines., and . Data Knowl. Eng., 68 (9): 819-833 (2009)Multiparty Contracts: Agreeing and Implementing Interorganizational Processes., , , , and . Comput. J., 53 (1): 90-106 (2010)Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching., , and . Trans. Petri Nets and Other Models of Concurrency, (2013)Verifying Deadlock- and Livelock Freedom in an SOA Scenario., , , and . ACSD, page 168-177. IEEE Computer Society, (2009)Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions., and . BPM (Demos), volume 1021 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Service Interaction: Patterns, Formalization, and Analysis., , , and . SFM, volume 5569 of Lecture Notes in Computer Science, page 42-88. Springer, (2009)Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual., , and . CAiSE, volume 6051 of Lecture Notes in Computer Science, page 530-544. Springer, (2010)Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification., , and . PNSE, volume 851 of CEUR Workshop Proceedings, page 32-46. CEUR-WS.org, (2012)