• Nenhum resultado encontrado

A Logical Foundation for Session-based Concurrent Computation

N/A
N/A
Protected

Academic year: 2019

Share "A Logical Foundation for Session-based Concurrent Computation"

Copied!
198
0
0

Texto

Loading

Imagem

Figure 2.2: Translation from Process Expressions to π-calculus Processes
Figure 3.2: Type-Directed Proof Erasure.
Figure 4.3: Language Syntax.
Figure 4.5: A Concurrent Stack Implementation.
+7

Referências

Documentos relacionados

Conclui-se com o presente estudo que são inúmeras as infecções micóticas que podem afetar as crianças, porém, em relação à infecções pulmonares, os relatos

Compared to the pristine PTy, an increase of cathodic peak current densities are observed after the immobi- lization of the ss-DNA probe and the hybridization with complementary

Creio que uma tarefa que se impõe, no seio deste debate, é procurar compreender em que medida e de que forma as diferentes interpretações da mecânica quântica são, na raíz

Com o objectivo de estudar a composição biogeoquímica da água dos lagos, bem como avaliar a influência vulcânica sobre a mesma, foram executados perfis verticais dos vários

No entanto, novas demandas estão sendo constituídas, as quais têm relação com a compreensão das novas dinâmicas sociais produzidas pela interação entre sociedade e tecnologias,

Em seus estudos, Travaglia (2016) dá algumas dicas para de esquematizações textuais, sejam elas por parágrafos, por perguntas norteadoras etc. Apesar de o autor apresentar

encontrados 15 artigos e selecionados apenas 10 artigos, que atenderam os critérios de inclusão e exclusão, cujos dados organizados puderam ser

Nos últimos anos é notável as inúmeras transformações que vem ocorrendo nas práticas sociais e ambientais de forma geral. Em meio a todas essas transformações que