Operational semantics for fun and profit
Michael Goldsmith
Book Title
Communicating Sequential Processes. The First 25 Years
Pages
265–274
Publisher
Springer Berlin/Heidelberg
Year
2005
Michael Goldsmith