Filtrer vos résultats
- 23
- 11
- 19
- 10
- 4
- 1
- 32
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 1
- 4
- 1
- 33
- 1
- 32
- 19
- 11
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 15
- 7
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
34 résultats
|
|
triés par
|
|
ON THE EXPRESSIVENESS OF THE AMBIENT LOGICLogical Methods in Computer Science, 2006, 2, pp.1 - 35. ⟨10.2168/LMCS-2⟩
Article dans une revue
hal-01905191v1
|
||
|
Deciding contextual equivalence of ν-calculus with effectful contexts (full version)Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023., Apr 2023, Paris, France
Communication dans un congrès
hal-03955303v1
|
||
|
Termination in a Pi-calculus with Subtyping18th International Workshop on Expressiveness in Concurrency, Sep 2011, Aachen, Germany. pp.44-58, ⟨10.4204/EPTCS.64.4⟩
Communication dans un congrès
hal-00612216v4
|
||
On the representation of McCarthy's amb in the Pi-calculusTheoretical Computer Science, 2005, 330 (3), pp.439-473
Article dans une revue
hal-00619703v1
|
|||
|
A Correct Abstract Machine for Safe AmbientsCOORDINATION, 2005, Namur, Belgium. ⟨10.1007/11417019_2⟩
Communication dans un congrès
hal-01441466v1
|
||
|
Eager Functions as Processesthe 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom. ⟨10.1145/3209108.3209152⟩
Communication dans un congrès
hal-01917255v2
|
||
|
Name-passing calculi: from fusions to preorders and types2013
Pré-publication, Document de travail
hal-00818068v2
|
||
|
SEPARABILITY IN THE AMBIENT LOGICLogical Methods in Computer Science, 2008, 4, pp.1 - 44. ⟨10.2168/LMCS-4⟩
Article dans une revue
hal-01905180v1
|
||
|
A Distribution Law for CCS and a New Congruence Result for the pi-calculus (expanded)Logical Methods in Computer Science, 2008, ⟨10.2168/LMCS-4(2:4)2008⟩
Article dans une revue
hal-01442744v1
|
||
|
Component-Oriented Programming with Sharing: Containment is not OwnershipGenerative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Communication dans un congrès
hal-00310126v1
|
||
|
On the Expressiveness of the Ambient Logic2005
Pré-publication, Document de travail
hal-00009279v1
|
||
|
On the Representation of References in the Pi-CalculusCONCUR 2020 - 31st International Conference on Concurrency Theory, Dec 2020, Vienna / Virtual, Austria. ⟨10.4230/LIPIcs.CONCUR.2020.31⟩
Communication dans un congrès
hal-03053368v1
|
||
Strong Normalisation in λ-Calculi with ReferencesFSEN, Apr 2011, Téhéran, Iran. pp.128-142, ⟨10.1007/978-3-642-29320-7_9⟩
Communication dans un congrès
hal-00798786v1
|
|||
|
Divergence and unique solution of equationsLogical Methods in Computer Science, 2019, ⟨10.23638/LMCS-15(3:12)2019⟩
Article dans une revue
hal-02376814v1
|
||
|
A behavioural theory for a π-calculus with preorders2014
Pré-publication, Document de travail
hal-00949521v1
|
||
|
On Bisimilarity and Substitution in Presence of ReplicationICALP, Jul 2010, Bordeaux, France. pp.454-465, ⟨10.1007/978-3-642-14162-1_38⟩
Communication dans un congrès
hal-00375604v4
|
||
Termination in higher-order concurrent calculiJournal of Logic and Algebraic Programming, 2010, 79 (7), pp.550-577. ⟨10.1016/j.jlap.2010.07.007⟩
Article dans une revue
istex
hal-00798788v1
|
|||
Termination in impure lambda-calculusFundamentals of Software Engineering, 2012, Unknown, Afghanistan. pp.128--142
Communication dans un congrès
hal-00909392v1
|
|||
|
Name-passing calculi: From fusions to preorders and typesInformation and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩
Article dans une revue
hal-01419632v1
|
||
|
Using Ambients to Control Resources (long version)2004, pp.126 - 144, ⟨10.1007/s10207-004-0035-y⟩
Communication dans un congrès
hal-00020253v1
|
||
|
A Distribution Law for CCS and a New Congruence Result for the pi-calculusFoSSaCS, 2007, Braga, Portugal. ⟨10.1007/978-3-540-71389-0_17⟩
Communication dans un congrès
hal-00089219v4
|
||
|
Duality and i/o-Types in the π-CalculusLecture Notes in Computer Science, 2012, 7454, pp 302-316
Article dans une revue
hal-00798028v1
|
||
|
Name-passing calculi: from fusions to preorders and typesLICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. pp.378-387, ⟨10.1109/LICS.2013.44⟩
Communication dans un congrès
hal-00904138v1
|
||
|
Encapsulation and Dynamic Modularity in the Pi-CalculusPLACES 2008, 2008, Oslo, Norway. pp.85 - 100, ⟨10.1016/j.entcs.2009.06.005⟩
Communication dans un congrès
hal-00400159v1
|
||
|
Calculs de processus: observations et inspectionsLogique en informatique [cs.LO]. Ecole normale supérieure de lyon - ENS LYON, 2009
HDR
tel-01002493v1
|
||
|
An Efficient Abstract Machine for Safe AmbientsJournal of Logic and Algebraic Programming, 2007, ⟨10.1016/j.jlap.2007.02.003⟩
Article dans une revue
hal-01442746v1
|
||
|
Divergence and unique solution of equationsCONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.1 - 7, ⟨10.4230/LIPIcs.CONCUR.2017.7⟩
Communication dans un congrès
hal-01643502v1
|
||
|
Towards 'up to context' reasoning about higher-order processesTheoretical Computer Science, 2020, 807, pp.154-168. ⟨10.1016/j.tcs.2019.09.036⟩
Article dans une revue
hal-01857391v1
|
||
|
On sequentiality and well-bracketing in the π-calculusLICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470559⟩
Communication dans un congrès
hal-03203191v2
|
||
|
Duality and i/o-Types in the pi-calculus23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. pp.302--316, ⟨10.1007/978-3-642-32940-1_22⟩
Communication dans un congrès
hal-00909375v1
|
- 1
- 2