Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms
Reed, JN ; Jackson, DM ; Deianov, B ; Reed, GM
Fundamental Approaches to Software Engineering, 1998, p.239-254 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível