Determinacy and confluence in concurrent and synchronous process calculi
type: Dataset
description: In this thesis, we study the notions of determinism and confluence in the context of concurrent and sycnrhnous systems. The latter are variants of the pi-calculus and have been extended with a notion of time. The first model is the S-pi-calculus, an extenstion of the SL model where reaction to absence of a signal happens at the end of the instant and where signals are first class values. This model uses signals as a communication mechanism. In this context, we present and characterise a compositional semantics of the S-pi-calculus based on suitable notions of labelled transition system and bisimulation. Based on this semantic framework, we explore the notion of determinacy and the related one of (local) confluence. The second model, TAPIS, is another variant of the pi-calculus where channels are used for communication. We adapted the type theory developed for the S-pi-calculus to TAPIS and show that typable programs are confluent. The typing system developed in this section, and accompagning proofs, has been entirely formalized in Coq.
issued: 2026-05-21T00:21:24.892574
language: fr
modified: 2026-05-21T00:21:24.892580
contact point: Organization
  fn: CCSD
keyword: calculs-de-processus
keyword: canaux
keyword: channels
keyword: concurrence
keyword: concurrency
keyword: confluence
keyword: determinism
keyword: determinisme
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-dccomputer-science-csdistributed-parallel-and-cluster-computing-csdc
keyword: infoinfo-sccomputer-science-cssymbolic-computation-cssc
keyword: process-calculi
keyword: signals
keyword: signaux
keyword: synchrnous
keyword: synchrone
keyword: theses
landing page: https://theses.hal.science/tel-00690512

Determinacy and confluence in concurrent and synchronous process calculi
type: Distribution
format: HTML
issued: 2026-05-21T00:21:24.918113
modified: 2026-05-21T00:21:24.823161
access URL: https://theses.hal.science/tel-00690512

test_moissonnage_selune
type: Agent