Etiqueta de registo: 00000nam 2200025 450
001 1920036
003 http://id.bnportugal.gov.pt/bib/catbnp/1920036
100 ## $a20160118d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A logical foundation for session-based concurrent computation$fBernardo Parente Coutinho Fernandes Toninho$gorient. Frank Pfenning, Luís Caires
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aXVIII, 178, [1] p.$d30 cm
320 ## $aBibliografia, p. 159-164
328 #1 $aTese dout. Engenharia Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2015
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aToninho,$bBernardo Parente Coutinho Fernandes$31632743
702 #1 $aPfenning,$bFrank$4727$31632744
702 #1 $aCaires,$bLuís$4727$3179014
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 43743 V.$x1