A Hoare logic for dynamic networks of asynchronously communicating deterministic processes

By de Boer F.S.  

Theoretical Computer Science, Vol. 274, Iss. 1, 2002-03 ,pp. : 3-41

Elsevier

Access to resources Recommend Favorite

Solving Out-of-Order Communication in Kahn Process Networks

By Turjan Alexandru   Kienhuis Bart   Deprettere Ed  

Journal of VLSI Signal Processing, Vol. 40, Iss. 1, 2005-05 ,pp. : 7-18

Springer Publishing Company

Access to resources Recommend Favorite

Deterministic Broadcast and Gossiping Algorithms for Ad hoc Networks

By Sinha Koushik   Srimani Pradip  

The Journal of Supercomputing, Vol. 37, Iss. 2, 2006-08 ,pp. : 115-144

Springer Publishing Company

Access to resources Recommend Favorite

Performance of deterministic and adaptive broadcast algorithms in multicomputer networks

By Al-Dubai Ahmed Y.   Ould-Khaoua M.   Mackenzie L.M.  

International Journal of High Performance Computing and Networking, Vol. 4, Iss. 3-4, 2006-08 ,pp. : 152-160

Inderscience Publishers

Access to resources Recommend Favorite

Optimal Deterministic Broadcasting in Known Topology Radio Networks

By Kowalski Dariusz   Pelc Andrzej  

Distributed Computing, Vol. 19, Iss. 3, 2007-01 ,pp. : 185-195

Springer Publishing Company

Access to resources Recommend Favorite