Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  43 نتائج ل ""Bisimulation""

فلترة النتائج

Collection : Universite De Lyon
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi

Subjects: lambda calculus; probabilistic computation; bisimulationGrenoble; France

  • Source: 23rd European Symposium on Programminghttps://inria.hal.science/hal-0109156423rd European Symposium on Programming, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54833-8_12⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Bisimulation and Coinduction Enhancements: A Historical Perspective

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

  • Source: ISSN: 0934-5043.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Enhanced Coalgebraic Bisimulation

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

  • Source: ISSN: 0960-1295.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

Subjects: Call-by-value λ-calculus; Imperative programming; Pi CalculusParis; France

  • Source: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

On Bisimulation Proofs for the Analysis of Distributed Abstract Machines

Subjects: [INFO]Computer Science [cs]Lucca; Italy

  • Source: TGC ; https://hal.science/hal-01441457 ; TGC, 2006, Lucca, Italy. ⟨10.1007/978-3-540-75336-0_10⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Using Bisimulation Proof Techniques for the Analysis of Distributed Algorithms

Subjects: Abstract machines; Weak bisimilarity; Up-to techniques

  • Source: ISSN: 1879-2294.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Compositional Equivalences Based on Open pNets

Subjects: Bisimulation; compositionality; automata

  • Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://hal.science/hal-03894031 ; Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Compositional Equivalences Based on Open pNets

Subjects: Bisimulation; compositionality; automata

  • Source: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://hal.science/hal-03894031 ; Journal of Logical and Algebraic Methods in Programming, In press, 131, pp.100842.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

New Up-To Techniques for Weak Bisimulation

Subjects: weak bisimilarity; up-to techniques; termination

  • Source: ISSN: 1879-2294.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic λ-Calculus

Subjects: probabilistic lambda calculus; bisimulation; Howe’s techniqueDortmund; Germany

  • Source: Leibniz International Proceedings in Informatics ; 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ; https://hal.science/hal-04670084 ; 4th International

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  43 نتائج ل ""Bisimulation""