Déterminisme et Confluence dans des systèmes concurrents et synchrones

Autor: Dogguy, Mehdi

Dans cette thèse, nous étudions les notions de déterminisme et de confluence dans des systèmes concurrents et synchrones. Ces derniers sont des variantes du pi-calcul qui ont été étendues avec une notion de temps. Le premier modèle étudié,

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00690512
http://tel.archives-ouvertes.fr/docs/00/69/05/12/PDF/TheseMehdiDogguy.pdf

Determinacy in a synchronous pi-calculus

Autor: Amadio, Roberto, Dogguy, Mehdi

Publikováno v: From semantics to computer science: essays in honor of Gilles Kahn, Y. Bertot et al. (Ed.) (2009) 1-27

The S-pi-calculus is a synchronous pi-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant. In the present work, w

Externí odkaz: http://arxiv.org/abs/0707.0556

On affine usages in signal-based communication

Autor: Amadio, Roberto M., Dogguy, Mehdi

Publikováno v: Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Dec 2008, France. pp.221-236

International audience; We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be compose

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4233701d0634e0aa9276350c156c968c
https://hal.archives-ouvertes.fr/hal-00272023v3/document