Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001-2005)

Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 389, Issue 3, 15 December 2007, Pages 337-340

Donald Sannella, Vladimiro Sassone,