Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware

Macário, F. J. S. ; Oliveira, M. V. M. Cornélio, Márcio ; Roscoe, Bill

Formal Methods: Foundations and Applications, p.3-18 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível