Publications
Export 3 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
2012
Vaz, C, Ferreira C.
2012.
On the analysis of compensation correctness
.
J. Log. Algebr. Program.. 81:585-605., Number 5
Abstract
n/a
Baltazar, P, Caires L, Vasconcelos VT, Vieira HT.
2012.
A Type System for Flexible Role Assignment in Multiparty Communicating Systems
.
Proceedings of the 7th International Symposium on Trustworthy Global Computing (TGC).
Abstract
n/a
2011
Baltazar, P, Vasconcelos VT, Vieira HT.
2011.
Typing Dynamic Roles in Multiparty Interaction
.
Simpósio de Informática (INForum).
Abstract
n/a
People
Publications
search-site
Enter your keywords:
Recent Publications
Concurrent Typed Intermediate Language
Implementação de um algoritmo de tipificação para linguagem concorrente com tipos comportamentais
Implementação de uma linguagem intermédia e máquina virtual para linguagens concorrentes
Notes on a testing web framework for BST
Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs
The Type Discipline of Behavioral Separation (Long version with proofs)
more