Automata synthesis by asynchronous orchestration with applications to web services composition
co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming International audience
| Main Authors: | , , |
|---|---|
| Other Authors: | , , , , , , , , , , , , , |
| Format: | Conference Object |
| Language: | English |
| Published: |
HAL CCSD
2008
|
| Subjects: | |
| Online Access: | https://hal.science/hal-03997678 |
| id |
ftccsdartic:oai:HAL:hal-03997678v1 |
|---|---|
| record_format |
openpolar |
| spelling |
ftccsdartic:oai:HAL:hal-03997678v1 2023-12-24T10:17:45+01:00 Automata synthesis by asynchronous orchestration with applications to web services composition Balbiani, Philippe Cheikh Alili, Fahima Feuillade, Guillaume Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI) Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT) Centre National de la Recherche Scientifique (CNRS) Université Toulouse III - Paul Sabatier (UT3) Filippo Bonchi Reykjavik, Iceland 2008-07-06 https://hal.science/hal-03997678 en eng HAL CCSD Elsevier Science hal-03997678 https://hal.science/hal-03997678 1st Workshop on Interaction and Concurrency Experience (ICE 2008) https://hal.science/hal-03997678 1st Workshop on Interaction and Concurrency Experience (ICE 2008), Jul 2008, Reykjavik, Iceland. pp.3--18 http://www.ru.is/kennarar/luca/ICALP08/icalp08/icalp08/workshops.html [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] info:eu-repo/semantics/conferenceObject Conference papers 2008 ftccsdartic 2023-11-25T23:51:01Z co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming International audience Conference Object Iceland Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| institution |
Open Polar |
| collection |
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe) |
| op_collection_id |
ftccsdartic |
| language |
English |
| topic |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] |
| spellingShingle |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] Balbiani, Philippe Cheikh Alili, Fahima Feuillade, Guillaume Automata synthesis by asynchronous orchestration with applications to web services composition |
| topic_facet |
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] |
| description |
co-located with ICALP'08: 35th International Colloquium on Automata, Languages and Programming International audience |
| author2 |
Logique, Interaction, Langue et Calcul (IRIT-LILaC) Institut de recherche en informatique de Toulouse (IRIT) Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI) Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT) Centre National de la Recherche Scientifique (CNRS) Université Toulouse III - Paul Sabatier (UT3) Filippo Bonchi |
| format |
Conference Object |
| author |
Balbiani, Philippe Cheikh Alili, Fahima Feuillade, Guillaume |
| author_facet |
Balbiani, Philippe Cheikh Alili, Fahima Feuillade, Guillaume |
| author_sort |
Balbiani, Philippe |
| title |
Automata synthesis by asynchronous orchestration with applications to web services composition |
| title_short |
Automata synthesis by asynchronous orchestration with applications to web services composition |
| title_full |
Automata synthesis by asynchronous orchestration with applications to web services composition |
| title_fullStr |
Automata synthesis by asynchronous orchestration with applications to web services composition |
| title_full_unstemmed |
Automata synthesis by asynchronous orchestration with applications to web services composition |
| title_sort |
automata synthesis by asynchronous orchestration with applications to web services composition |
| publisher |
HAL CCSD |
| publishDate |
2008 |
| url |
https://hal.science/hal-03997678 |
| op_coverage |
Reykjavik, Iceland |
| genre |
Iceland |
| genre_facet |
Iceland |
| op_source |
1st Workshop on Interaction and Concurrency Experience (ICE 2008) https://hal.science/hal-03997678 1st Workshop on Interaction and Concurrency Experience (ICE 2008), Jul 2008, Reykjavik, Iceland. pp.3--18 http://www.ru.is/kennarar/luca/ICALP08/icalp08/icalp08/workshops.html |
| op_relation |
hal-03997678 https://hal.science/hal-03997678 |
| _version_ |
1786206089918808064 |