Abstract is missing.
- Implementing Open Call-by-ValueBeniamino Accattoli, Giulio Guerrieri. 1-19 [doi]
- Debugging of Concurrent Systems Using Counterexample AnalysisGianluca Barbon, Vincent Leroy, Gwen Salaün. 20-34 [doi]
- Bisimilarity of Open Terms in Stream GSOSFilippo Bonchi, Matias David Lee, Jurriaan Rot. 35-50 [doi]
- Composing Families of Timed AutomataGuillermina Cledou, José Proença, Luís Soares Barbosa. 51-66 [doi]
- A Formal Model for Multi SPLsFerruccio Damiani, Michael Lienhardt, Luca Paolini. 67-83 [doi]
- Translating Active Objects into Colored Petri Nets for Communication AnalysisAnastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu. 84-99 [doi]
- Synthesizing Parameterized Self-stabilizing Rings with Constant-Space ProcessesAlex Klinkhamer, Ali Ebnenasir. 100-115 [doi]
- Flexible Transactional Coordination in the Peer Modeleva Kühn. 116-131 [doi]
- Using Swarm Intelligence to Generate Test Data for Covering Prime PathsAtieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri. 132-147 [doi]
- LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java SystemsAli Parsai, Alessandro Murgia, Serge Demeyer. 148-163 [doi]
- TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java ProgramsMahdi Houshmand, Samad Paydar. 164-179 [doi]
- Quality-Aware Reactive Programming for the Internet of ThingsJosé Proença, Carlos Baquero. 180-195 [doi]
- Purpose-Based Policy Enforcement in Actor-Based SystemsShahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi. 196-211 [doi]
- Automatic Transition System Model Identification for Network Applications from Packet TracesZeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan. 212-227 [doi]
- Gray-Box Conformance Testing for Symbolic Reactive State MachinesMasoumeh Taromirad, Mohammad Reza Mousavi. 228-243 [doi]
- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT SolvingNils Timm, Stefan Gruner, Prince Sibanda. 244-259 [doi]