Abstract is missing.
- Causality and Scheduling Constraints in Heterogeneous Reactive Systems ModelingAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli. 1-16 [doi]
- Machine Function Based Control Code AlgebrasJan A. Bergstra. 17-41 [doi]
- Exploiting Abstraction for Specification Reuse. The Java/C# Case StudyEgon Börger, Robert F. Stärk. 42-76 [doi]
- On the Verification of Cooperating Traffic AgentsWerner Damm, Hardi Hungar, Ernst-Rüdiger Olderog. 77-110 [doi]
- How to Cook a Complete Hoare Logic for Your Pet OO LanguageFrank S. de Boer, Cees Pierik. 111-133 [doi]
- Behavioural Specification for Hierarchical Object CompositionRazvan Diaconescu. 134-156 [doi]
- Consistency Management Within Model-Based Object-Oriented Development of ComponentsJochen Malte Küster, Gregor Engels. 157-176 [doi]
- CommUnity on the Move: Architectures for Distribution and MobilityJosé Luiz Fiadeiro, Antónia Lopes. 177-196 [doi]
- TulaFale: A Security Tool for Web ServicesKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella. 197-222 [doi]
- A Checker for Modal Formulae for Processes with DataJan Friso Groote, Tim A. C. Willemse. 223-239 [doi]
- Semantic Essence of AsmLYuri Gurevich, Benjamin Rossman, Wolfram Schulte. 240-259 [doi]
- An MDA Approach to Tame Component Based Software DevelopmentJean-Marc Jézéquel, Olivier Defour, Noël Plouzeau. 260-275 [doi]
- An Application of Stream Calculus to Signal Flow GraphsJan J. M. M. Rutten. 276-291 [doi]
- Synchronous Closing and Flow Analysis for Model Checking Timed SystemsNatalia Ioustinova, Natalia Sidorova, Martin Steffen. 292-313 [doi]
- Priority SystemsGregor Gößler, Joseph Sifakis. 314-329 [doi]
- Preserving Properties Under ChangeHeike Wehrheim. 330-343 [doi]
- Tools for Generating and Analyzing Attack GraphsOleg Sheyner, Jeannette M. Wing. 344-372 [doi]