… We study the expressiveness of a higher-order process calculus featuring this style of … main
result shows that in this calculus termination is decidable while convergence is undecidable. …

… This dissertation studies calculi for higher-order concurrency, and focuses on their expres…
This dissertation studies expressiveness and decidability issues in higher-order concurrency. …

… This dissertation studies calculi for higher-order concurrency, and focuses on their expres…
This dissertation studies expressiveness and decidability issues in higher-order concurrency. …

… the impact of some extensions to HOcore on our decidability results (Section 8), give some
… We now introduce HOcore, the core of calculi for higher-order concurrency such as CHOCS […

… Further, we show that such a bisimilarity relation is decidable. We find, in the concurrency …
some extensions to HOcore on our decidability results (Section 8) and give some concluding …

… , pred is a boolean expression and e is an integer expression. If the optional suchthat clause
… This chapter describes the central result of this dissertation: a new approach to concurrency …

… Further, we show that such a bisimilarity relation is decidable. We find, in the concurrency …
As a key ingredient for our results, we introduce open Input/Output (IO) bisimulation in which …

… Asynchronous programming is a common way to manage concurrent requests in a system.
… problem) that is known to be undecidable for many expressive classes of languages. Let Z ⊆ …

… (several instances in higher-order calculi) are decidable, and this … results in undecidability
of those strong bisimilarities. … two results on expressiveness between higher-order and first-…

… power of some of these dialects by focusing on decidability … obtained called Higher Order
π-calculi (see also [84, 115]). … in [101] where several decidability results about variants of π, …