Formal Techniques for Networked and Distributed Systems - FORTE 2006

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

  • Elie Najm
  • Jean-François Pradat-Peyre
  • Véronique Viguié Donzeau-Gouge

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Leslie Lamport
      Pages 23-23
    2. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch et al.
      Pages 24-45
  3. Services

    1. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo
      Pages 46-60
    2. Raman Kazhamiakin, Marco Pistore
      Pages 61-76
    3. I. S. W. B. Prasetya, T. E. J. Vos, S. D. Swierstra
      Pages 77-92
    4. Zohair Chentouf, Ahmed Khoumsi
      Pages 93-98
  4. Middleware

  5. Composition and Synthesis

  6. Logics

    1. Radu Mardare, Corrado Priami
      Pages 196-211
  7. Symbolic Verification – Slicing

    1. Pierre Rousseau
      Pages 228-242
    2. Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione
      Pages 243-258

About these proceedings

Keywords

calculus communicating systems complexity distributed computing distributed systems embedded systems formal languages formal methods formal specification logic middleware model checking petri nets program slicing semantic fou

Editors and affiliations

  • Elie Najm
    • 1
  • Jean-François Pradat-Peyre
    • 2
  • Véronique Viguié Donzeau-Gouge
    • 3
  1. 1.Telecom ParisTech (ENST)ParisFrance
  2. 2.LIP6, Université Pierre et Marie CurieParisFrance
  3. 3.CEDRIC-CNAM, Conservatoire National des Arts et MetiersParis Cedex 03France

Bibliographic information

  • DOI https://doi.org/10.1007/11888116
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-46219-4
  • Online ISBN 978-3-540-46220-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book