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

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-29473-5_1 ◽

2016 ◽

pp. 3-18

Author(s):

F. J. S. Macário ◽

M. V. M. Oliveira

Download Full-text