Table of Contents: “... Types to Behavioral Types and Model Checking -- SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency -- Past and Future Directions for Concurrent Task Scheduling -- Controlling Concurrency and Expressing Synchronization in Charm++ Programs...”

Full text 

Full text