Scalable Performance for Scala Message−Passing Concurrency
मुख्य लेखक: | Bate, A |
---|---|
स्वरूप: | Conference item |
प्रकाशित: |
2013
|
समान संसाधन
-
Scalable data assimilation with message passing
द्वारा: Oscar Key, और अन्य
प्रकाशित: (2025-01-01) -
Verification of message passing concurrent systems
द्वारा: D'Osualdo, E
प्रकाशित: (2015) -
A Debugger for Communicating Scala Objects
द्वारा: Bate, A, और अन्य
प्रकाशित: (2012) -
Permission-Based Separation Logic for Message-Passing Concurrency
द्वारा: Adrian Francalanza, और अन्य
प्रकाशित: (2011-09-01) -
Uniqueness Typing for Resource Management in Message-Passing Concurrency
द्वारा: Edsko de Vries, और अन्य
प्रकाशित: (2010-03-01)