Filtrer vos résultats
- 6
- 2
- 4
- 3
- 1
- 8
- 1
- 2
- 2
- 1
- 2
- 8
- 8
- 8
- 6
- 3
- 1
- 8
- 7
- 6
- 2
- 1
- 1
- 1
8 résultats
|
|
triés par
|
|
Efficient Verification and New Reasoning Techniques for Concurrent Constraint ProgrammingData Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Thèse
tel-01111979v1
|
||
|
Partition Refinement for Bisimilarity in CCP27th ACM Symposium On Applied Computing, Mar 2012, Trento, Italy. pp.88-93
Communication dans un congrès
hal-00641408v3
|
||
|
Efficient Algorithms for Program Equivalence for Confluent Concurrent Constraint ProgrammingScience of Computer Programming, 2015, 111, pp.135-155. ⟨10.1016/j.scico.2014.12.003⟩
Article dans une revue
hal-01098502v1
|
||
|
Observational and Behavioural Equivalences for Soft Concurrent Constraint ProgrammingJournal of Logical and Algebraic Methods in Programming, 2018, 92, pp.45-63. ⟨10.1016/j.jlamp.2017.06.001⟩
Article dans une revue
hal-01675060v1
|
||
|
Reducing Weak to Strong Bisimilarity in CCPFifth Interaction and Concurrency Experience, Jun 2012, Stockholm, Sweden. pp.2-16, ⟨10.4204/EPTCS.104⟩
Communication dans un congrès
hal-00761611v1
|
||
|
Weak CCP bisimilarity with strong proceduresScience of Computer Programming, 2015, 100, pp.84-104. ⟨10.1016/j.scico.2014.09.007⟩
Article dans une revue
hal-00976768v2
|
||
|
A Behavioral Congruence for Concurrent Constraint Programming with Non-deterministic ChoiceICTAC 2014 - 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucarest, Romania. pp.351-368, ⟨10.1007/978-3-319-10882-7_21⟩
Communication dans un congrès
hal-01006382v2
|
||
Efficient computation of program equivalence for confluent concurrent constraint programmingPPDP 2013 - 15th International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.263-274, ⟨10.1145/2505879.2505902⟩
Communication dans un congrès
hal-00909394v1
|