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