Synthesis of distributed testers from true-concurrency models of reactive systems

By Jard C.  

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 805-814

Elsevier

Access to resources Recommend Favorite

Distributed access control architecture and model for supporting collaboration and concurrency in dynamic virtual enterprises

By Chen T. -Y.  

International Journal of Computer Integrated Manufacturing, Vol. 21, Iss. 3, 2007-03 ,pp. : 301-324

Taylor & Francis Ltd

Access to resources Recommend Favorite

Concurrency in Synchronous Systems

By Potop-Butucaru Dumitru   Caillaud Benoît   Benveniste Albert  

Formal Methods in System Design, Vol. 28, Iss. 2, 2006-03 ,pp. : 111-130

Springer Publishing Company

Access to resources Recommend Favorite

A trust model for distributed systems based on reputation

By Derbas Ghada   Kayssi Ayman   Chehab Ali   Artail Hassan   Tajeddine Ayman  

International Journal of Web and Grid Services, Vol. 1, Iss. 3-4, 2005-12 ,pp. : 416-447

Inderscience Publishers

Access to resources Recommend Favorite

The Heard-Of model: computing in distributed systems with benign faults

By Charron-Bost Bernadette  

Distributed Computing, Vol. 22, Iss. 1, 2009-04 ,pp. : 49-71

Springer Publishing Company

Access to resources Recommend Favorite