Detail

Publication date: 01/01/2012

An Algebra of Behavioural Types

Authors

António Ravara, Pedro Resende, Vasco Vasconcelos,

URL http://ctp.di.fct.unl.pt/~aravara/pubs/journals/12-RRV-abt.pdf
Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 212
URL http://ctp.di.fct.unl.pt/~aravara/pubs/journals/12-RRV-abt.pdf
Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 212