Fairness in LOTOS
暂无分享,去创建一个
[1] A. Pnueli. The Temporal Semantics of Concurrent Programs , 1979, Theor. Comput. Sci..
[2] Cosimo Laneve,et al. An Expressive Temporal Logic for Basic LOTOS , 1989, FORTE.
[3] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[4] Qiang Gao,et al. On the Distributed Implementation of LOTOS , 1989, FORTE.
[5] Stefania Gnesi,et al. Compositional logic semantics and LOTOS , 1990, PSTV.
[6] Gregor von Bochmann,et al. An execution model for LOTOS specifications , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.
[7] Luigi Logrippo,et al. An interpreter for LOTOS, a specification language for distributed systems , 1988, Softw. Pract. Exp..
[8] Gerardo Costa,et al. Weak and Strong Fairness in CCS , 1987, Inf. Comput..
[9] Lutz Priese,et al. Fairness , 1988, Bull. EATCS.
[10] Ira R. Forman,et al. On fairness as an abstraction for the design of distributed systems , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.
[11] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[12] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[13] Amir Pnueli. The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..
[14] Gregor von Bochmann,et al. Specifications of a Simplified Transport Protocol Using Different Formal Description Techniques , 1990, Comput. Networks ISDN Syst..
[15] Willem P. de Roever,et al. Fairness Assumptions for CSP in a Temporal Logic Framework , 1982, Formal Description of Programming Concepts.
[16] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.