Realizability of high-level message sequence charts: closing the gaps

By Lohrey M.  

Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. : 529-554

Elsevier

Access to resources Recommend Favorite

On message recognition protocols: recoverability and explicit confirmation

By Goldberg Ian  

International Journal of Applied Cryptography, Vol. 2, Iss. 2, 2010-01 ,pp. : 100-120

Inderscience Publishers

Access to resources Recommend Favorite

High-performance message striping over reliable transport protocols

By Mohamed Nader   Al-Jaroodi Jameela   Jiang Hong   Swanson David  

The Journal of Supercomputing, Vol. 38, Iss. 3, 2006-12 ,pp. : 261-278

Springer Publishing Company

Access to resources Recommend Favorite

Finite-State Self-Stabilizing Protocols in Message-Passing Systems

By Howell R.R.   Nesterenko M.   Mizuno M.  

Journal of Parallel and Distributed Computing, Vol. 62, Iss. 5, 2002-05 ,pp. : 792-817

Academic Press

Access to resources Recommend Favorite

Strategy for Verifying Security Protocols with Unbounded Message Size: Special Section on Automated Verification of Infinite-State Systems

By Chevalier Y.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 141-166

Springer Publishing Company

Access to resources Recommend Favorite