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

نتائج البحث

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

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

Publisher : open publishing association
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Relaxed Operational Semantics of Concurrent Programming Languages

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 19-33 (2012)

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

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

Relaxed Operational Semantics of Concurrent Programming Languages

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Sequence

  • Source: EXPRESS/SOSElectronic Proceedings in Theoretical Computer Science, Vol 89, Iss Proc. EXPRESS/SOS 2012, Pp 19-33 (2012)

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

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

FreeST: Context-free Session Types in a Functional Language

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 291, Iss Proc. PLACES 2019, Pp 12-23 (2019)

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

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

Taking Linear Logic Apart

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 90-103 (2019)

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

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

Optimizing Space of Parallel Processes

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 289, Iss Proc. WPTE 2018, Pp 53-67 (2019)

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

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

Refining Santa: An Exercise in Efficient Synchronization

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 282, Iss Proc. Refine 2018, Pp 68-86 (2018)

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

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

From Events to Reactions: A Progress Report

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 46-55 (2016)

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

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

Variant-Frequency Semantics for Green Futures

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 109, Iss Proc. PLACES 2012, Pp 1-6 (2013)

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

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

Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; D.3.1

  • Source: EXPRESS/SOS

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

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

Linearly Refined Session Types

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

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 101, Iss Proc. LINEARITY 2012, Pp 38-49 (2012)

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

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