Author:
Garavel Hubert,Sighireanu Mihaela
Reference32 articles.
1. J. A. Bergstra and J. W. Klop. Process Algebra for Synchronous Communication. Information and Computation, 60: 109–137, 1984.
2. T. Bolognesi. A Graphical Composition Theorem for Networks of Lotos Processes. In IEEE Computer Society, editor, Proceedings of the 10th International Conference on Distributed Computing Systems, Washington, USA, pages 88–95. IEEE, May 1990.
3. Ed Brinksma. On the Design of Extended LOTOS, a Specification Language for Open Distributed Systems. PhD thesis, University of Twente, November 1988.
4. Rance Cleaveland, Eric Madelaine, and Steve Sims. A Front-End Generator for Verification Tools. In Uffe H. Engberg, Kim G. Larsen, and Arne Skou, editors, Proceedings of TACAS’95 Tools and Algorithms for the Construction and Analysis of Systems (Aarhus, Denmark),May 1995. Also available as INRIA Research Report RR-2612.
5. D. Dams and J. F. Groote. Specification and Implementation of Components of a pCRL Toolbox. Technical Report Logic Group Preprint Series 152, Utrecht University, December 1995.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献