Modal logics for concurrency and information (in)dependence

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Borgo S
Source: 
Workshop “Towards a Joint European Laboratory on Interacting Knowledge Systems”, Trento (IT), 2003
Date: 
2003
Resource Identifier: 
http://www.cnr.it/prodotto/i/93466
ISTC Author: 
Stefano Borgo's picture
Real name: