CSP−based counter abstraction for systems with node identifiers

Detalhes bibliográficos
Principais autores: Mazur, T, Lowe, G
Formato: Journal article
Publicado em: 2013