Detail

Publication date: 1 de June, 2021

Publication An Algebra of Behavioural Types – Journal Information and Computation (Elsevier)


Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 212
Pub. Date 01/01/2012