Joyce, J. J. (1990). Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic (pp. 384–409). https://doi.org/10.1007/978-1-4471-3534-0_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.