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

نتائج البحث

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

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

Subject : [info.info-lo]computer science [cs]/logic in computer science [cs.lo]
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC

Subjects: stochastic process algebra; stochastic Petri net; Petri box calculus

  • Source: https://hal.science/hal-02573419 ; 2024.

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

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

Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC

  • Authors : Tarasyuk, Igor; A.P. Ershov Institute of Informatics Systems SB RAS

Subjects: stochastic process algebra; stochastic Petri net; Petri box calculus

  • Source: https://hal.science/hal-02573419 ; 2023.

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

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

Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC

  • Authors : Tarasyuk, Igor; A.P. Ershov Institute of Informatics Systems SB RAS

Subjects: shared memory system; reduction; stochastic bisimulation

  • Source: https://hal.archives-ouvertes.fr/hal-02573419 ; 2021.

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

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

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (Research Report)

Subjects: Distributed and reversible computation; Computing meth- odologies → Concurrent programming languages Keywords and phrases Formal semantics; Process algebras and calculi

  • Source: https://hal.archives-ouvertes.fr/hal-02568250 ; 2020.

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

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

Stochastic bisimulation and performance evaluation in discrete time stochastic and deterministic Petri box calculus dtsdPBC

  • Authors : Tarasyuk, Igor; A.P. Ershov Institute of Informatics Systems SB RAS

Subjects: stochastic Petri net; stochastic process algebra; Petri box calculus

  • Source: https://hal.archives-ouvertes.fr/hal-02573419 ; 2020.

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

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

Up-To Techniques for Generalized Bisimulation Metrics

Subjects: bisimulation; metrics; up-to techniquesQuébec CityQuébec City, Canada

  • Source: 27th International Conference on Concurrency Theory (CONCUR 2016)https://inria.hal.science/hal-0133523427th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec

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

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

Up-To Techniques for Generalized Bisimulation Metrics

Subjects: bisimulation; metrics; up-to techniquesQuébec CityQuébec City, Canada

  • Source: 27th International Conference on Concurrency Theory (CONCUR 2016)https://inria.hal.science/hal-0133523427th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec

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

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

Up-To Techniques for Generalized Bisimulation Metrics

Subjects: bisimulation; metrics; up-to techniquesQuébec CityQuébec City, Canada

  • Source: 27th International Conference on Concurrency Theory (CONCUR 2016)https://inria.hal.science/hal-0133523427th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec

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

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

Up-To Techniques for Generalized Bisimulation Metrics

Subjects: bisimulation; metrics; up-to techniquesQuébec CityQuébec City, Canada

  • Source: 27th International Conference on Concurrency Theory (CONCUR 2016)https://hal.inria.fr/hal-0133523427th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec City,

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

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

Up-To Techniques for Generalized Bisimulation Metrics

Subjects: bisimulation; metrics; up-to techniquesQuébec CityQuébec City, Canada

  • Source: 27th International Conference on Concurrency Theory (CONCUR 2016)https://inria.hal.science/hal-0133523427th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec

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

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