Models for Concurrency, Handbook of Logic (1995)

by Glynn Winskel, Mogens Nielsen
Venue:in Computer Science, Semantic Modelling