Plain CHOCS A second generation calculus for higher order processes-Reference-Cited by-同舟云学术

Plain CHOCS A second generation calculus for higher order processes

Published:1993-01 Issue:1 Volume:30 Page:1-59
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Thomsen Bent

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01200262.pdf

Reference33 articles.

1. [Abr90] Abramsky, S.: The lazy lambda calculus. In: Turner, D. (ed.) Research Topics in Functional Programming, chap. 4, pp. 65?116. Reading: Addison-Wesley 1990

2. [Abr91] Abramsky, S.: A domain equation for bisimulation. Inf. Comput.92(2), 161?218 (1991)

3. [Ame87] America, P.: POOL-T: A parallel object-oriented language. Proceedings of object-oriented concurrent programming, pp. 199?220. Cambridge, MA: MIT Press 1987

4. Lect. Notes Comput Sci.;E. Astesiano,1987

5. [Atk89] Atkinson, C.: An object-oriented language for software reuse and distribution. Ph. D. Thesis, Department of Computing, Imperial College, London University 1989

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

1. A generic type system for higher-order Ψ-calculi;Information and Computation;2024-10

2. A Generic Type System for Higher-Order Ψ-calculi;Electronic Proceedings in Theoretical Computer Science;2022-09-06

3. Fairness and communication-based semantics for session-typed languages;Information and Computation;2022-05

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

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