Abstract is missing.
- Implicitly Distributing Pervasively Concurrent Programs: Extended abstractJohn A. Thywissen, Arthur Michener Peters, William R. Cook. 1 [doi]
- Static Type Checking for the Kompics Component Model: Kola - The Kompics LanguageLars Kroll, Jim Dowling, Seif Haridi. 2 [doi]
- Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable ConsistencyNosheen Zaza, Nathaniel Nystrom. 3 [doi]
- On the Potential of Event Sourcing for Retroactive Actor-based ProgrammingBenjamin Erb, Gerhard Habiger, Franz J. Hauck. 4 [doi]
- Towards Aggregate Programming in ScalaRoberto Casadei, Mirko Viroli. 5 [doi]
- Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress reportVitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker. 6 [doi]
- Integration Challenges of Pure Operation-based CRDTs in RedisGeorges Younes, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero. 7 [doi]
- Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate LanguageMatteo Cimini, Jeremy G. Siek. 8 [doi]