Abstract is missing.
- Pattern Matching over a Dynamic Network of Tuple SpacesRocco De Nicola, Daniele Gorla, Rosario Pugliese. 1-14 [doi]
- A Dynamic Class Construct for Asynchronous Concurrent ObjectsEinar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl. 15-30 [doi]
- An Abstract Machine for the Kell CalculusPhilippe Bidinger, Alan Schmitt, Jean-Bernard Stefani. 31-46 [doi]
- XPi: A Typed Process Calculus for XML MessagingLucia Acciai, Michele Boreale. 47-66 [doi]
- Checking the Validity of Scenarios in UML ModelsHolger Rasch, Heike Wehrheim. 67-82 [doi]
- An Extended Type System for OCL Supporting Templates and TransformationsMarcel Kyas. 83-98 [doi]
- A Semantics for UML-RT Active Classes via Mapping into CircusRodrigo Ramos, Augusto Sampaio, Alexandre Mota. 99-114 [doi]
- Towards an Integrated Formal Analysis for Security and TrustFabio Martinelli. 115-130 [doi]
- A Formal Security Analysis of an OSA/Parlay Authentication InterfaceRicardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso. 131-146 [doi]
- Tracing Integration Analysis in Component-Based Formal SpecificationsMartín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer. 147-162 [doi]
- CompAr: Ensuring Safe Around Advice CompositionRenaud Pawlak, Laurence Duchien, Lionel Seinturier. 163-178 [doi]
- Guaranteeing Resource Bounds for Component SoftwareHoang Truong. 179-194 [doi]
- Specification and Verification of Encapsulation in Java ProgramsAndreas Roth. 195-210 [doi]
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of ExecutionsKoushik Sen, Grigore Rosu, Gul Agha. 211-226 [doi]
- Transforming Information in RDF to Rewriting LogicAlberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley. 227-242 [doi]
- Modeling- and Analysis Techniques for Web Services and Business ProcessesWolfgang Reisig. 243-258 [doi]
- A Distributed Implementation of Mobile Nets as Mobile AgentsNadia Busi, Luca Padovani. 259-274 [doi]
- On Correctness of Dynamic Protocol UpdatePawel T. Wojciechowski, Olivier Rütti. 275-289 [doi]
- Property-Driven Development of a Coordination Model for Distributed SimulationsRolf Hennicker, Matthias Ludwig. 290-305 [doi]
- A Timing Analysis of AODVSibusisiwe Chiyangwa, Marta Z. Kwiatkowska. 306-321 [doi]