<style face="normal" font="default" size="100%">Concurrent Typed Intermediate Language</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Concurrent Typed Intermediate Language</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The Type Discipline of Behavioral Separation</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">First-Order Dynamic Logic for Compensable Processes</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Verification of Snapshot Isolation in Transactional Memory Java Programs</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Notes on a testing web framework for BST</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">On the analysis of compensation correctness</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">The Type Discipline of Behavioral Separation (Long version with proofs)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Type System for Flexible Role Assignment in Multiparty Communicating Systems</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Working note on a type-checking algorithm for BST</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Implementação de um algoritmo de tipificação para linguagem concorrente com tipos comportamentais</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Implementação de uma linguagem intermédia e máquina virtual para linguagens concorrentes</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Typing Dynamic Roles in Multiparty Interaction</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Aliasing control with view-based typestate</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A simple proof system for lock-free concurrency</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs</style>