Author:
Garoche Pierre-Loïc,Pantel Marc,Thirioux Xavier
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Agha, G.: Actors: A model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)
2. Amtoft, T., Nielson, F., Nielson, H.R.: Type and behaviour reconstruction for higher-order concurrent programs. Journal of Functional Programming 7(3), 321–347 (1997)
3. Lecture Notes in Computer Science;G. Boudol,1997
4. Lecture Notes in Computer Science;C. Carrez,2003
5. Chaki, S., Rajamani, S., Rehof, J.: Types as models: model checking message-passing programs. In: Proc. of POPL 2002, ACM Press, New York (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献