Author:
Mota Alexandre,Sampaio Augusto
Reference33 articles.
1. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISDN Systems,1987
2. P. Borba, S. Meira, From model based specifications to functional prototypes, IEEE TENCON’91 Session on Rapid Prototyping with Functional Programming Languages, August 1991.
3. Integrating AORTA with Model-Based Data Specification Languages;Bradley,1998
4. S.D. Brookes, A.W. Roscoe, An Improved Failures Model for Communicating Processes, Lecture Notes in Computer Science, vol. 197, Springer, Berlin, 1985, pp. 281–305.
5. S.D. Brookes, A.W. Roscoe, Deadlock analysis in networks of communicating processes, Distributed Comput. (1991) 209–230.
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献