Scalable Performance for Scala Message−Passing Concurrency
Main Author: | Bate, A |
---|---|
Format: | Conference item |
Published: |
2013
|
Similar Items
-
Verification of message passing concurrent systems
by: D'Osualdo, E
Published: (2015) -
A Debugger for Communicating Scala Objects
by: Bate, A, et al.
Published: (2012) -
Permission-Based Separation Logic for Message-Passing Concurrency
by: Adrian Francalanza, et al.
Published: (2011-09-01) -
Uniqueness Typing for Resource Management in Message-Passing Concurrency
by: Edsko de Vries, et al.
Published: (2010-03-01) -
ScalaFlux: A scalable approach to quantify fluxes in metabolic subnetworks.
by: Pierre Millard, et al.
Published: (2020-04-01)