Filtrer vos résultats
- 4
- 2
- 4
- 1
- 1
- 6
- 1
- 1
- 1
- 2
- 1
- 6
- 3
- 3
- 2
- 2
- 1
- 1
- 6
- 3
- 3
- 2
- 1
- 1
- 1
6 résultats
|
|
triés par
|
Decidability and Complexity of Simulation Preorder for Data-Centric Web ServicesICSOC International Conference on Service Oriented Computing, 2014, Paris, France. pp.535-542
Communication dans un congrès
hal-02147738v1
|
|||
|
Automated Analysis of Asynchronously Communicating Systems23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
Communication dans un congrès
hal-01280164v1
|
||
On Decidability of Simulation in Data-Centeric Business ProtocolsBusiness Process Management Workshops - BPM 2012 International Workshops, 2012, Tallinn, Estonia. pp.352--363, ⟨10.1007/978-3-642-36285-9_39⟩
Communication dans un congrès
hal-02078296v1
|
|||
|
Automated verification of automata communicating via FIFO and bag buffersFormal Methods in System Design, 2018, 52 (3), pp.260 - 276. ⟨10.1007/s10703-017-0285-8⟩
Article dans une revue
hal-01898159v1
|
||
|
Decidability and complexity of simulation preorder for data-centric Web servicesOther [cs.OH]. Université Blaise Pascal - Clermont-Ferrand II, 2014. English. ⟨NNT : 2014CLF22523⟩
Thèse
tel-01155513v1
|
||
|
Reasoning in description logics with variables: preliminary results regarding the EL logic.28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
Communication dans un congrès
hal-01163342v1
|