Bibliography

1

The fractal component model.
http://fractal.objectweb.org/specification/index.html.

2

A. Bouali, A. Ressouche, V. Roy, and R. de Simone.
The FC2Tools set.
In D. Dill, editor, Computer Aided Verification (CAV'94), Standford, June 1994. Springer-Verlag, LNCS.

3

C. A. R. Hoare.
Communicating sequential processes.
Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.

4

ISO: Information Processing Systems.
Basic reference model for open systems interconnection.
ISO 7498, 1983.

5

ISO: Information Processing Systems - Open Systems Interconection.
Estelle - a formal description technique based on an extended state transition model.
ISO 9074, 1987.

6

ISO: Information Processing Systems - Open Systems Interconection.
LOTOS - a formal description technique based on the temporal ordering of observational behaviour.
ISO 8807, August 1989.

7

E. Madelaine.
Verification tools from the CONCUR project.
EATCS Bull., 47, 1992.

8

E. Madelaine and R. de Simone.
The FC2 reference manual, 1993.
available by ftp from ftp-sop.inria.fr/meije/verif/fc2.userman.ps.

9

R. Milner.
Communication and Concurrency.
Prentice Hall, 1989.
ISBN 0-13-114984-9.

10

T. Barros
Formal specification and verification of distributed component systems
PhD thesis, Université de Nice - INRIA Sophia Antipolis, November 2005. (PDF)

11

R. Boulifa
Génération de Modèles Comportementaux des Applications Réparties
PhD thesis, Université de Nice - INRIA Sophia Antipolis, 2004.

12

T. Barros, L. Henrio, E. Madelaine
Verification of distributed hierarchical components
FACS'05 Workshop, Macao, October 2005 (ENTCS) (PDF)

13

T. Barros, L. Henrio, E. Madelaine
Behavioural Models for Hierarchical Components
SPIN'05 Workshop, San Francisco, August 2005 (LNCS 3639) (PDF)

14

I. Attali, T. Barros, E. Madelaine
Formalisation and Verification of the Chilean Electronic Invoice System
SCCC'04, Arica, Chili, Nov 2004 (PDF)

15

T. Barros, R. Boulifa, E. Madelaine
Parameterized Models for Distributed Java Objects
Forte'2004 Conference, Madrid, Sep. 2004, LNCS 3235, © Springer-Verlag (PS)