Filtrer vos résultats
- 36
- 19
- 9
- 4
- 3
- 3
- 34
- 25
- 22
- 12
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 64
- 9
- 1
- 63
- 27
- 24
- 6
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 64
- 64
- 64
- 63
- 63
- 34
- 33
- 29
- 29
- 29
- 27
- 13
- 10
- 9
- 9
- 9
- 8
- 7
- 7
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 74
- 55
- 18
- 1
- 3
- 4
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 4
- 9
- 2
- 7
- 3
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
74 résultats
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
|
|||
|
Interpreting Functions as pi-calculus Processes: a TutorialRR-3470, INRIA. 1998
Rapport
inria-00073220v1
|
||
|
Some Congruence Properties for pi-calculus BisimilaritiesRR-2870, INRIA. 1996
Rapport
inria-00073821v1
|
||
An Object Group-Based Component ModelISoLA - 5th International Symposium Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 2012, 2012, Heraklion, Crete, Greece. pp.64--78, ⟨10.1007/978-3-642-34026-0_6⟩
Communication dans un congrès
hal-00909382v1
|
|||
|
An Interpretation of Typed Objects Into Typed $\pi$-calculusRR-3000, INRIA. 1996
Rapport
inria-00073696v1
|
||
|
pi-calculus, internal mobility, and agent-passing calculiRR-2539, INRIA. 1995
Rapport
inria-00074139v1
|
||
|
Theoretical Computer ScienceJosep Diaz; Ivan Lanese; Davide Sangiorgi. Springer, LNCS-8705, 2014, Lecture Notes in Computer Science, 978-3-662-44601-0. ⟨10.1007/978-3-662-44602-7⟩
Ouvrage (y compris édition critique et traduction)
hal-01402084v1
|
||
|
Ownership Types for the Join Calculus13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Communication dans un congrès
hal-01583320v1
|
||
|
Behavioral Equivalence in the Polymorphic Pi-CalculusRR-3042, INRIA. 1996
Rapport
inria-00073650v1
|
||
|
Lazy functions and mobile processesRR-2515, INRIA. 1995
Rapport
inria-00074163v1
|
||
|
Bisimulation for higher-order process calculiRR-2508, INRIA. 1995
Rapport
inria-00074170v1
|
||
|
Asynchronous pi-calculus at Work: The Call-by-Need StrategyThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Nov 2019, Paris, France. pp.33-49, ⟨10.1007/978-3-030-31175-9_3⟩
Communication dans un congrès
hal-02399695v1
|
||
|
The Proof Technique of Unique Solutions of Contractions12th International Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.63--68, ⟨10.1007/978-3-319-25150-9_5⟩
Communication dans un congrès
hal-01227569v1
|
||
|
On Bisimulations for the Asynchronous pi-calculusRR-2913, INRIA. 1996
Rapport
inria-00073784v1
|
||
|
Equations, Contractions, and Unique SolutionsACM Transactions on Computational Logic, 2017, 18 (1), pp.1-36. ⟨10.1145/2971339⟩
Article dans une revue
hal-01647063v1
|
||
|
Unique solutions of contractions, CCS, and their HOL formalisationCombined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Sep 2018, Beijing, China. pp.122 - 139, ⟨10.4204/EPTCS.276.10⟩
Communication dans un congrès
hal-01931199v1
|
||
|
Unique solutions of contractions, CCS, and their HOL formalisationInformation and Computation, 2020, 275, pp.104606. ⟨10.1016/j.ic.2020.104606⟩
Article dans une revue
hal-03120563v1
|
||
Advanced Topics in Bisimulation and CoinductionDavide Sangiorgi and Jan Rutten. Cambridge University Press, pp.340, 2012
Ouvrage (y compris édition critique et traduction)
hal-00907322v1
|
|||
|
Bisimilarity via unique-solution techniques19th Italian Conference on Theoretical Computer Science, Sep 2018, Urbino, Italy
Communication dans un congrès
hal-01931203v1
|
||
|
Equations, contractions, and unique solutionsPOPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676965⟩
Communication dans un congrès
hal-01089205v1
|
||
|
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩
Communication dans un congrès
hal-01092815v1
|
||
|
On the Discriminating Power of Passivation and Higher-Order InteractionCSL-LICS '14, Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603113⟩
Communication dans un congrès
hal-01089467v1
|
||
Introduction to Bisimulation and CoinductionCambridge University Press, pp.247, 2012
Ouvrage (y compris édition critique et traduction)
hal-00907026v1
|
|||
Origins of Bisimulation and CoinductionDavide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Chapitre d'ouvrage
hal-00907029v1
|
|||
|
From enhanced coinduction towards enhanced inductionProceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-29. ⟨10.1145/3498679⟩
Article dans une revue
hal-03922092v1
|
||
|
Light Logics and Higher-Order ProcessesMathematical Structures in Computer Science, 2016, 26 (06), pp.969 - 992. ⟨10.1017/S0960129514000310⟩
Article dans une revue
hal-01400903v1
|
||
|
Environmental Bisimulations for Probabilistic Higher-Order LanguagesPOPL '16, Jan 2016, St. Petersburg, United States. ⟨10.1145/2837614.2837651⟩
Communication dans un congrès
hal-01337665v1
|
||
|
Playing with Bisimulation in ErlangModels, Languages, and Tools for Concurrent and Distributed Programming, 2019, ⟨10.1007/978-3-030-21485-2_6⟩
Chapitre d'ouvrage
hal-02376217v1
|
||
|
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open ProblemsQEST 2014, Sep 2014, Florence, Italy. pp.281 - 296, ⟨10.1007/978-3-319-10696-0_23⟩
Communication dans un congrès
hal-01089484v1
|
||
|
Trees from Functions as Processes25th International Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.78 - 92, ⟨10.1007/978-3-662-44584-6_7⟩
Communication dans un congrès
hal-01092809v1
|