Franck Cassez

1967

• Modeling and verification of parallel processes