Caires,, Luís Manuel Marques da Costa
A model for declarative programming and specification with concurrency and mobility / Luís Manuel Marques da Costa Caires
A model for declarative programming and specification with concurrency and mobility / Luís Manuel Marques da Costa Caires
. - Lisboa : Universidade Nova de Lisboa, 1999
. - XIX, 270 p. 30 cm
. -
Dissertação: Grau de Doutor em Informática pela Universidade Nova de Lisboa
519.6