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

نتائج البحث

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

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

Publication : electronic proceedings in theoretical computer science
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 255, Iss Proc. EXPRESS/SOS 2017, Pp 35-50 (2017)

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

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

Bisimulation in Inquisitive Modal Logic

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 151-166 (2017)

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

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

Logical Characterization of Bisimulation Metrics

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 227, Iss Proc. QAPL 2016, Pp 44-62 (2016)

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

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

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 200, Iss Proc. PROLE 2015, Pp 48-63 (2015)

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

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

Rooted branching bisimulation as a congruence for probabilistic transition systems

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 194, Iss Proc. QAPL 2015, Pp 79-94 (2015)

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

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

A Definition Scheme for Quantitative Bisimulation

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 194, Iss Proc. QAPL 2015, Pp 63-78 (2015)

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

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

Coherent branching feature bisimulation

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 14-30 (2015)

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

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

Iteration Algebras for UnQL Graphs and Completeness for Bisimulation

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 75-89 (2015)

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

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

On Context Bisimulation for Parameterized Higher-order Processes

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 37-51 (2013)

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

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

Compositionality of Approximate Bisimulation for Probabilistic Systems

Subjects: Mathematics; QA1-939; Electronic computers. Computer science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 120, Iss Proc. EXPRESS/SOS 2013, Pp 32-46 (2013)

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

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