Abstract is missing.
- The Abstract Behavioral Specification Language: A Tutorial IntroductionReiner Hähnle. 1-37 [doi]
- Subobject-Oriented ProgrammingMarko van Dooren, Dave Clarke, Bart Jacobs. 38-82 [doi]
- Verification of Open Concurrent Object SystemsIlham W. Kurnia, Arnd Poetzsch-Heffter. 83-118 [doi]
- Automatic Inference of Bounds on Resource ConsumptionElvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini. 119-144 [doi]
- Separating Cost and Capacity for Load Balancing in ABS Deployment ModelsEinar Broch Johnsen. 145-167 [doi]
- Composing Distributed Systems: Overcoming the Interoperability ChallengeValérie Issarny, Amel Bennaceur. 168-196 [doi]
- Controlling Application Interactions on the Novel Smart Cards with Security-by-ContractOlga Gadyatskaya, Fabio Massacci. 197-215 [doi]
- Formal Aspects of Free and Open Source Software Components - A Short SurveyRoberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli. 216-239 [doi]