Abstract is missing.
- Modelling of Complex Software Systems: A Reasoned OverviewDaniel Krob. 1-22 [doi]
- The :::+:::CAL Algorithm LanguageLeslie Lamport. 23 [doi]
- Semantic-Based Development of Service-Oriented SystemsMartin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder. 24-45 [doi]
- JSCL: A Middleware for Service CoordinationGian Luigi Ferrari, Roberto Guanciale, Daniele Strollo. 46-60 [doi]
- Analysis of Realizability Conditions for Web Service ChoreographiesRaman Kazhamiakin, Marco Pistore. 61-76 [doi]
- Web CubeI. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra. 77-92 [doi]
- Presence Interaction Management in SIP SOHO ArchitectureZohair Chentouf, Ahmed Khoumsi. 93-98 [doi]
- Formal Analysis of Dynamic, Distributed File-System Access ControlsAvik Chaudhuri, Martín Abadi. 99-114 [doi]
- Analysing the MUTE Anonymous File-Sharing System Using the Pi-CalculusTom Chothia. 115-130 [doi]
- Towards Fine-Grained Automated Verification of Publish-Subscribe ArchitecturesLuciano Baresi, Carlo Ghezzi, Luca Mottola. 131-135 [doi]
- A LOTOS Framework for Middleware SpecificationNelson S. Rosa, Paulo Roberto Freire Cunha. 136-142 [doi]
- Automatic Synthesis of Assumptions for Compositional Model CheckingBernd Finkbeiner, Sven Schewe, Matthias Brill. 143-158 [doi]
- Refined Interfaces for Compositional VerificationFrédéric Lang. 159-174 [doi]
- On Distributed Program Specification and Synthesis in Architectures with CyclesJulien Bernet, David Janin. 175-190 [doi]
- Generalizing the Submodule Construction Techniques for Extended State Machine ModelsBassel Daou, Gregor von Bochmann. 191-195 [doi]
- Decidable Extensions of Hennessy-Milner LogicRadu Mardare, Corrado Priami. 196-211 [doi]
- Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and FairnessChristel Baier, Nathalie Bertrand, Ph. Schnoebelen. 212-227 [doi]
- A New Approach for Concurrent Program SlicingPierre Rousseau. 228-242 [doi]
- Reducing Software Architecture Models Complexity: A Slicing and Abstraction ApproachDaniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione. 243-258 [doi]
- Branching Time Semantics for UML 2.0 Sequence DiagramsYoucef Hammal. 259-274 [doi]
- Formalizing Collaboration Goal Sequences for Service ChoreographyHumberto Nicolás Castejón Martínez, Rolv Bræk. 275-291 [doi]
- Composition of Use Cases Using Synchronization and Model CheckingRabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli. 292-306 [doi]
- PN Standardisation: A SurveyLom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves. 307-322 [doi]
- Resource Allocation Systems: Some Complexity Results on the S:::4:::PR ClassJuan-Pablo López-Grao, José Manuel Colom. 323-338 [doi]
- Optimized Colored Nets UnfoldingFabrice Kordon, Alban Linard, Emmanuel Paviot-Adet. 339-355 [doi]
- Liveness by Invisible InvariantsYi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck. 356-371 [doi]
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and TimeoutsMercedes G. Merayo, Manuel Núñez, Ismael Rodríguez. 372-387 [doi]
- Scenario-Based Timing Consistency Checking for Time Petri NetsXuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng. 388-403 [doi]
- Effective Representation of RT-LOTOS Terms by Finite Time Petri NetsTarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat. 404-419 [doi]
- Grey-Box CheckingEdith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. 420-435 [doi]
- Integration Testing of Distributed Components Based on Learning Parameterized I/O ModelsKeqin Li, Roland Groz, Muzammil Shahbaz. 436-450 [doi]
- Minimizing Coordination Channels in Distributed TestingGuy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün. 451-466 [doi]
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic SystemsLuis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez. 467-483 [doi]