Jean-Philippe Schwartz

According to our database1, Jean-Philippe Schwartz authored at least 2 papers in 1983.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1983
QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties.
PhD thesis, 1983

An Example of Specification and Verification in Cesar.
Proceedings of the Analysis of Concurrent Systems, 1983


  Loading...