Formal Methods for Parallel Programming: Theory and Applications
- Preface
-
- A Method for Automatic Cryptographic Protocol Verification
- Jean Goubault-Larrecq
- Verification Methods for Weaker Shared Memory Consistency Models
- Rajnish P. Ghughal; Ganesh C. Gopalakrishnan
- Models Supporting Nondeterminism and Probabilistic Choice
- Michael Mislove
- Concurrent Specification And Timing Analysis of Digital Hardware using SDL
- Kenneth J. Turner; F. Javier Argul-Marin; Stephen D. Laing
- Incorporating Non-functional Requirements into Software Architectures
- Nelson S. Rosa; George R. R. Justo; Paulo R. F. Cunha
- Automatic Implementation of Distributed Systems Formal Specifications
- Luiz Henrique Castelo Branco; Antonio Francisco do Prado; Wanderley Lopes de Souza; Marcelo Sant'Anna
- Refinement based validation of an algorithm for detecting distributed termination
- Mamoun Filali; Philippe Mauran; Gérard Padiou; Philippe Quéinnec; Xavier Thirioux
- Tutorial 1 : Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View
- Dominique Cansell; Dominique Méry; Christophe Tabacznyj
- Tutorial 2: A Foundation for Composing Concurrent Objects
- Jean-Paul Bahsoun