A. [. Buckley and . Silberschatz, An Effective Implementation for the Generalized Input-Output Construct of CSP, ACM Transactions on Programming Languages and Systems, vol.5, issue.2, pp.223-235, 1983.
DOI : 10.1145/69624.357208

J. Bradfield and C. Stirling, Verifying temporal properties of processes, Proceedings of the First International Conference on Theories of Concurrency -Unification and Extension (CONCUR '90), pp.115-125, 1990.
DOI : 10.1007/BFb0039055

]. R. Clss96a, P. M. Cleaveland, S. A. Lewis, O. Smolka, and . Sokolsky, The Concurrency Factory: A development environment for concurrent systems, Proceedings of the 8th International Conference on Computer Aided Verification (CAV '96), pp.398-401, 1996.

]. R. Clss96b, P. M. Cleaveland, S. A. Lewis, O. Smolka, and . Sokolsky, The Concurrency Factory software development environment, Proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96) Chandy and J. Misra. Parallel Program Design ? A Foundation, pp.391-395, 1988.

. Dmn-+-97-]-x, K. T. Du, E. Mcdonnell, Y. S. Nanos, S. A. Ramakrishna et al., Software design, specification, and verification: Lessons learned from the Rether case study Java in a Nutshell A distributed abstract data type implemented by a probabilistic communication scheme, Proceedings of the Sixth International Conference on Algebraic Methodology and Software Technology (AMAST'97) Proceedings of 21st Symposium on Foundations of Computer ScienceGar98] H. Garavel. OPEN/CAESAR: An Open Software Architecture for Verification , Simulation, and Testing The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems, pp.373-379, 1980.

H. Harel, A. Lachover, A. Naamad, M. Pnueli, R. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, Ivy96] IvyTeam POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesNgu98] K. Nguyen. Scheduling algorithms used in Adagen for the Concurrency Factory Proceedings of the Eighth International Conference on Concurrency Theory (CON- CUR '97), volume 1243 of Lecture Notes in Computer Science, pp.403-414, 1990.
DOI : 10.1109/32.54292

]. P. Tiw97 and . Tiwari, VPL ? Tool Support for Specification and Verification of Concurrent Systems, 1997.

B. Thomsen, L. Leth, and T. Kuo, A Facile tutorial, Proceedings of the Seventh International Conference on Concurrency Theory (CON- CUR '96 Proceedings of ACM SIGCOMM '95, pp.278-298, 1995.
DOI : 10.1007/3-540-61604-7_61