Formal verification of a programming logic for a distributed programming language

By Zhang C.   Olsson R.A.   Levitt K.N.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 213-235

Elsevier

Access to resources Recommend Favorite

Distributed concurrent linear logic programming

By Kobayashi N.   Shimizu T.   Yonezawa A.  

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 185-220

Elsevier

Access to resources Recommend Favorite

Characterization and delivery of directly coupled causal messages in distributed systems

By Zeng Y.   Cai W.   Turner S.J.   Zhou S.   Lee B.-S.  

Future Generation Computer Systems, Vol. 20, Iss. 1, 2004-01 ,pp. : 171-178

Elsevier

Access to resources Recommend Favorite

Timestamping messages and events in a distributed system using synchronous communication

By Garg Vijay   Skawratananond Chakarat   Mittal Neeraj  

Distributed Computing, Vol. 19, Iss. 5-6, 2007-04 ,pp. : 387-402

Springer Publishing Company

Access to resources Recommend Favorite

Object-oriented and distributed programming of robotic and automation equipment

By Pires J Norberto  

Industrial Robot: An International Journal, Vol. 27, Iss. 4, 2000-04 ,pp. : 279-287

Emerald Group Publishing Ltd

Access to resources Recommend Favorite