A Linear Metalanguage for Concurrency (1998)

View PDF

Download Links

by Glynn Winskel , Glynn Winskel
Venue:Handbook of Logic in Computer Science
Citations:13 - 4 self