Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Dogguy, Mehdi"'
Autor:
Amadio, Roberto, Dogguy, Mehdi
Publikováno v:
Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, France (2008)
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 composed. As a main application
Externí odkaz:
http://arxiv.org/abs/0804.1729
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
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
http://tel.archives-ouvertes.fr/docs/00/69/05/12/PDF/TheseMehdiDogguy.pdf
Autor:
Amadio, Roberto M., Dogguy, Mehdi
Publikováno v:
From semantics to computer science: essays in honor of Gilles Kahn
Y. Bertot et al. From semantics to computer science: essays in honor of Gilles Kahn, Cambridge University Presse, pp.1-27, 2009
Y. Bertot et al. From semantics to computer science: essays in honor of Gilles Kahn, Cambridge University Presse, pp.1-27, 2009
To appear in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press.; 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 wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e02ccca03e0063e48962b05dad2aff70
https://hal.archives-ouvertes.fr/hal-00159764v2/document
https://hal.archives-ouvertes.fr/hal-00159764v2/document
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
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
https://hal.archives-ouvertes.fr/hal-00272023v3/document
Publikováno v:
Programming Languages & Systems (9783540893295); 2008, p1-1, 1p
Autor:
G. Ramalingam
This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. The 20 revised full papers presented together with 3 invited talks were carefully