Detail

Publication date: 1 de June, 2021

Publication A spatial logic for concurrency (part I) – Journal Information and Computation (Elsevier)


Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 186
Number 2
Pub. Date 01/01/2003