Author:
Giacalone Alessandro,Mishra Prateek,Prasad Sanjiva
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference73 articles.
1. R. Milner,A Calculus of Communicating Systems, Volume 92 ofLecture Notes in Computer Science, Springer-Verlag (1980).
2. C. Hoare, Communicating Sequential Processes,Communications of the ACM,21(8):666?677 (August 1978).
3. occam Programming Manual, (1984). Prentice-Hall Series in Computer Science, C.A.R. Hoare (Series Editor).
4. R. Milner,A proposal for Standard ML, Internal Report CSR-157-83, University of Edinburgh (1984).
5. The Revised3 Report on the Algorithmic Language Scheme, AI Memo 848a, MIT (1986): Also inSIGPLAN Notices,21(12):37?79 (December 1986).
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Alice or Bob?: Process polymorphism in choreographies;Journal of Functional Programming;2024
2. Pirouette: higher-order typed functional choreographies;Proceedings of the ACM on Programming Languages;2022-01-12
3. PiDuce — A project for experimenting Web services technologies;Science of Computer Programming;2009-08
4. Linear forwarders;Information and Computation;2007-10
5. Type-Directed Concurrency;Lecture Notes in Computer Science;2005