190 citations · 225 across the 9 of their papers we have counts for
4 papers · 1 filter
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats +1
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…
Concurrency Models with Causality and Events as Psi-calculi
Håkon Normann, Cristian Prisacariu, Thomas Hildebrandt
Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi. P…
Refinement for Transition Systems with Responses
Marco Carbone, Thomas Hildebrandt, Gian Perrone +1
Motivated by the response pattern for property specifications and applications within flexible workflow management systems, we report upon an initial study of modal and mixed trans…
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Thomas T. Hildebrandt, Raghava Rao Mukkamala
We present Dynamic Condition Response Graphs (DCR Graphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conse…