Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Lecture Notes in Computer Science;F. Arbab,1996
2. Bonsangue, M.M., Arbab, F.: A Transition System Semantics for the Control-Driven Coordination Language Manifold. Report SEN-R9829, CWI, Amsterdam, The Netherlands (1998)
3. Cheung, S.C., Giannakopoulou, D., Kramer, J.: Verification of Liveness Properties Using Compositional Reachability Analysis. ACM SIGSOFT Software Engineering Notes 6, 227–243 (1997)
4. Crowley, T., Milazzo, P., et al.: MMConf: an Infrastructure for Building Shared Multimedia Applications. In: Proc. of ACM Conf. on CSCW, pp. 329–342 (1990)
5. Lecture Notes in Computer Science;C.A. Ellis,1998