"CoBiC: Context-dependent Bioambient Calculus."

Luca Bortolussi, Maria Grazia Vigliotti (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics