On the Expressiveness of Forwarding in Higher-Order Communication-Reference-Cited by-同舟云学术

On the Expressiveness of Forwarding in Higher-Order Communication

Published:2009 Issue: Volume: Page:155-169
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing - ICTAC 2009
language:
Short-container-title:

Author:

Di Giusto Cinzia,Pérez Jorge A.,Zavattaro Gianluigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-03466-4_10

Reference16 articles.

1. Thomsen, B.: A calculus of higher order communicating systems. In: Proc. of POPL 1989, pp. 143–154. ACM Press, New York (1989)

2. Thomsen, B.: Plain CHOCS: A second generation calculus for higher order processes. Acta Inf. 30(1), 1–59 (1993)

3. Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST–99–93, University of Edinburgh, Dept. of Comp. Sci. (1992)

4. Lanese, I., Pérez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness and decidability of higher-order process calculi. In: Proc. of LICS 1908, pp. 145–155. IEEE Computer Society Press, Los Alamitos (2008)

5. Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Decidability of the Bisimilarity on Higher-order Processes with Parameterization;Electronic Proceedings in Theoretical Computer Science;2021-08-23

2. On the Interactive Power of Higher-order Processes Extended with Parameterization;Formal Aspects of Computing;2021-03

3. On parameterization of higher-order processes;International Journal of Computer Mathematics;2016-07-26

4. Towards Formal Interaction-Based Models of Grid Computing Infrastructures;Electronic Proceedings in Theoretical Computer Science;2014-03-30

5. On the Expressiveness of Parameterization in Process-Passing;Lecture Notes in Computer Science;2014