Author:
Brinksma Ed,Langerak Rom,Broekroelofs Peter
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Frank P.M. Biemans, A reference model for manufacturing planning and control, Doctoral Dissertation, University of Twente, October 1989.
2. T. Bolognesi, E. Brinksma. Introduction to the ISO specification language LOTOS. Comp. Networks and ISDN Systems, 14 (1987), pp. 25–59.
3. Kees Bogaards, A methodology for the architectural design of open distributed systems, doctoral dissertation, University of Twente, 1990.
4. Tommaso Bolognesi, A graphical composition theorem for networks of LOTOS processes, Tenth International Conference on Distributed Computing Systems, pp. 88–95, IEEE Computer Society Press, 1990.
5. Tommaso Bolognesi (ed.), Catalogue of LOTOS Correctness Preserving Transformations, LOTO-SPHERE Final Deliverable Task 1.2, LO/WP1/T1.2/N0045/V03, The LOTOSPHERE Consortium, 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献