@inproceedings{CG95,
title = {Execution of reactive distributed systems },
author = {Caspi, Paul and Girault, Alain},
month = {August},
year = {1995},
booktitle = {EURO--PAR'95, Stockholm},
number = {966},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
team = {SYNC},
}
