Benjamin Lerman

According to our database¹, Benjamin Lerman authored at least 3 papers between 2004 and 2005.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2005

Vérification et Spécification des Systèmes Distribués. (Verification and Specification of Distributed Systems).

[BibT_eX]

[DOI]

PhD thesis, 2005

2004

Distributed Games and Distributed Control for Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2004: Theoretical Informatics, 2004

Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004