S. J. Gay and C. L. Hankin. Gamma and the logic of transition traces. In A. Edalat, S. Jourdan, and G. McCusker, editors, Advances in Theory and Formal Methods of Computing. Imperial College Press, 1997.  Home/Search   Document Details and Download   Context   Related Articles

This paper is cited by the following papers:

Case for Support: Novel type systems for concurrent programming.. - Gay   Self-citation (Gay)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC