Author:
Honda Kohei,Hu Raymond,Neykova Rumyana,Chen Tzu-Chun,Demangeon Romain,Deniélou Pierre-Malo,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)
2. Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)
3. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. Theoretical Computer Science 37, 77–121 (1985)
4. Lecture Notes in Computer Science;L. Bettini,2008
5. Boudol, G.: Asynchrony and the pi-calculus. Technical Report 1702, INRIA (1992)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21
2. Secure Text Transfer Using Doubly Encrypted Chat Application Based on Cloud;International Journal of Advanced Research in Science, Communication and Technology;2022-03-27
3. A message-passing interpretation of adjoint logic;Journal of Logical and Algebraic Methods in Programming;2021-04
4. Practical Abstractions for Automated Verification of Message Passing Concurrency;Lecture Notes in Computer Science;2019
5. Featherweight Scribble;Models, Languages, and Tools for Concurrent and Distributed Programming;2019