Buscar
Mostrando ítems 1-10 de 12
A refinement based strategy for locally verifying networks of CSP processes
(Universidade Federal de Pernambuco, 2015)
WTO: challenges for the next 20
(2015)
International trade is facing some significant challenges: a serious deadlock to conclude the last round of the multilateral negotiation at the WTO, the fragmentation of trade rules by the multiplication of preferential ...
Antropologia da medicina: uma revisão teóricaAnthropology of medicine: a theoretical review
(Faculdade de Saúde Pública da Universidade de São Paulo, 1986)
Systematic Development of Trustworthy Component-based Systems
(Universidade Federal de Pernambuco, 2014)
A strategy for local analysis of determinism
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Modular composition of session types
(Universidad de Chile, 2015)
En el campo de los sistemas distribuidos, lograr la coordinación entre diversas unidades de cómputo y sub-sistemas es una tarea compleja, pues cada unidad de computo se comporta distinta a las demás, de forma concurrente ...
Modelagem e análise de objetos como processos em CSP: Padrão de projeto e estudo de caso
(Universidade Federal de Pernambuco, 2014)
Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP
(Universidade Federal de Pernambuco, 2014)
Los gobiernos sin mayoría en México: 1997-2006Governments without majority in Mexico: 1997-2006
(Centro de Investigación y Docencia Económicas, 2017)