A Spatial Logic for Concurrency (Part II) (1998)

by Luís Caires , Luca Cardelli
Venue:IN CONCUR2002: CONCURRENCY THEORY (13TH INTERNATIONAL CONFERENCE), LECTURE NOTES IN COMPUTER SCIENCE
Citations:55 - 7 self