Vanessa Fonseca,  Renata Reiser,  Adenauer Corrêa Yamin,  Maurício Lima Pilla. 

No modelo de M´aquina Geom´etrica (GM), dom´?nios alg´ebricos foram utilizadospara prover um sem^antica denotacional para computac¸ ~oes concorrentes e (ou) n~aodetermin´?sticas, incluindo a representac¸ ~ao da mem´oria e dos processos computacionaisrotulados por posic¸ ~oes de um espac¸o geom´etrico. Esta proposta se mostra potencialmenteoportuna para modelar aplicac¸ ~oes paralelas centrada em dois grande objetivos:(i) sistematizaras potencialidades de explorac¸ ~ao do paralelismo no modelo GM; e (ii) consolidaras definic¸ ~oes dos construtores de processos para o Ambiente de Programac¸ ~ao Visual daGM (VPE-GM) [1].

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2007/0043.pdf

Processando consulta.