CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Publications  \  Technical Report Page Login  
   
banner bottom
File Top
Working Note on a Type Checking Algorithm for Behavioral Separation Types
Abstract:

In this draft note, we preview ongoing work on the development of a type checking algorithm for the system of behavioral separation types introduced in " The Type Discipline of Behavioral Separation"


URL: http://ctp.di.fct.unl.pt/~lcaires/papers/bst-runs.pdf

Institution: Universidade Nova de Lisboa ( Portugal )

Date: January, 2013

Authors:
File Bottom