Author of the publication

Transition systems with independence and multi-arcs.

, and . Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 273-288. DIMACS/AMS, (1996)

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

Formalising Business Process Execution with Bigraphs and Reactive XML., , and . COORDINATION, volume 4038 of Lecture Notes in Computer Science, page 113-129. Springer, (2006)Preface to special issue: Expressiveness in Concurrency 2008., and . Math. Struct. Comput. Sci., 20 (1): 1-2 (2010)"We Would Never Write That Down": Classifications of Unemployed and Data Challenges for AI., , , and . Proc. ACM Hum. Comput. Interact., 5 (CSCW1): 102:1-102:26 (2021)A process-oriented event-based programming language., and . DEBS, page 377-378. ACM, (2012)Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit., , , and . Business Process Management Cases, Springer, (2018)Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs, and . PLACES, volume 69 of EPTCS, page 59-73. (2010)Declarative Modelling and Safe Distribution of Healthcare Workflows., , and . FHIES, volume 7151 of Lecture Notes in Computer Science, page 39-56. Springer, (2011)DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes., , , and . ER, volume 11788 of Lecture Notes in Computer Science, page 153-161. Springer, (2019)Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs., , and . EDOC, page 127-136. IEEE Computer Society, (2013)A Case for Declarative Process Modelling: Agile Development of a Grant Application System., , , and . EDOC Workshops, page 126-133. IEEE Computer Society, (2014)978-1-4799-5470-4.