Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees.