Skip to main content
SpringerLink
Log in

Formal Techniques for Networked and Distributed Systems - FORTE 2006

26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Elie Najm

    1. Telecom ParisTech (ENST), Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-François Pradat-Peyre

    1. LIP6, Université Pierre et Marie Curie, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Véronique Viguié Donzeau-Gouge

    1. CEDRIC-CNAM, Conservatoire National des Arts et Metiers, Paris Cedex 03, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4229)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Modelling of Complex Software Systems: A Reasoned Overview

      • Daniel Krob
      Pages 1-22

    2. The  +  CAL Algorithm Language

      • Leslie Lamport
      Pages 23-23

    3. Semantic-Based Development of Service-Oriented Systems

      • Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch et al.
      Pages 24-45

  3. Services

    1. JSCL: A Middleware for Service Coordination

      • Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
      Pages 46-60

    2. Analysis of Realizability Conditions for Web Service Choreographies

      • Raman Kazhamiakin, Marco Pistore
      Pages 61-76

    3. Web Cube

      • I. S. W. B. Prasetya, T. E. J. Vos, S. D. Swierstra
      Pages 77-92

    4. Presence Interaction Management in SIP SOHO Architecture

      • Zohair Chentouf, Ahmed Khoumsi
      Pages 93-98

  4. Middleware

    1. Formal Analysis of Dynamic, Distributed File-System Access Controls

      • Avik Chaudhuri, Martín Abadi
      Pages 99-114

    2. Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus

      • Tom Chothia
      Pages 115-130

    3. Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures

      • Luciano Baresi, Carlo Ghezzi, Luca Mottola
      Pages 131-135

    4. A LOTOS Framework for Middleware Specification

      • Nelson Souto Rosa, Paulo Roberto Freire Cunha
      Pages 136-142

  5. Composition and Synthesis

    1. Automatic Synthesis of Assumptions for Compositional Model Checking

      • Bernd Finkbeiner, Sven Schewe, Matthias Brill
      Pages 143-158

    2. Refined Interfaces for Compositional Verification

      • Frédéric Lang
      Pages 159-174

    3. On Distributed Program Specification and Synthesis in Architectures with Cycles

      • Julien Bernet, David Janin
      Pages 175-190

    4. Generalizing the Submodule Construction Techniques for Extended State Machine Models

      • Bassel Daou, Gregor v. Bochmann
      Pages 191-195

  6. Logics

    1. Decidable Extensions of Hennessy-Milner Logic

      • Radu Mardare, Corrado Priami
      Pages 196-211

  7. Symbolic Verification – Slicing

    1. Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness

      • C. Baier, N. Bertrand, Ph. Schnoebelen
      Pages 212-227

    2. A New Approach for Concurrent Program Slicing

      • Pierre Rousseau
      Pages 228-242

    3. Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach

      • Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione
      Pages 243-258
Back to top

Other volumes

  1. Formal Techniques for Networked and Distributed Systems - FORTE 2006

Keywords

Editors and Affiliations

  • Telecom ParisTech (ENST), Paris, France

    Elie Najm

  • LIP6, Université Pierre et Marie Curie, Paris, France

    Jean-François Pradat-Peyre

  • CEDRIC-CNAM, Conservatoire National des Arts et Metiers, Paris Cedex 03, France

    Véronique Viguié Donzeau-Gouge

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation