Loading...
Please wait, while we are loading the content...
Similar Documents
A truly concurrent semantics for processes sharing quantified resources
| Content Provider | Semantic Scholar |
|---|---|
| Author | Teodosiu, Dan |
| Copyright Year | 2012 |
| Abstract | A la quete d'une approche vraiment concurrente, ou la concurrence est notionnellement independante du non-determinisme, on presente le domaine des multi-pomsets complexes finis et infinis, qui permettent de decrire le comportement concurrent deterministe de processus recurrents. Le langage de processus qu'on modelise est construit au-dessus d'un ensemble fixe de ressources quantifiees auxquelles les processus peuvent acceder. Il contient plusieurs operateurs fmitaires, tels qu'un processus vide, des processus action, un renommage, un cachement, une restriction, une composition serielle, une composition parallele alphabetisee, ainsi qu'un operateur de recursion infinitaire. La machine structuree operationnelle definie specifie pour chaque operateur un petit nombre de regles de reecriture qui engendrent la semantique operationnelle structuree lineaire et complexe. La denotation d'un processus est un multi-pomset complexe qui comprend deux composantes: la premiere est un multi-pomset deja observe d'evenements quantifies, tandis que la seconde est un multi-ensemble contenant le quota de ressources accordees au processus pour son execution. L'ordre d'approximation defini confere a l'ensemble des multi-pomsets complexes la structure d'un domaine de Scott coheremment complet et algebrique. La semantique denotationnelle complexe des operateurs est ensuite definie et montree Scott-continue par rapport a l'ordre d'approximation. La robustesse du travail semantique presente est etablie en prouvant que la semantique denotationnelle complexe est adequate et pleinement abstraite par rapport aux semantiques operationnelles lineaires et complexes. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.teodosiu.net/Dan/doctorate.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
