Functional Nets-Reference-Cited by-同舟云学术

Functional Nets

Published:2000 Issue: Volume: Page:1-25
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Odersky Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46425-5_1

Reference36 articles.

1. F. Achermann, M. Lumpe, J.-G. Schneider, and O. Nierstrasz. Piccola-a small composition language. Submitted for Publication, available from http://www.iam.unibe.ch/~scg/Research/Piccola , 1999.

2. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7(1):1–69, 1997.

3. Z. Ariola and A. Sabry. Correctness of monadic state: An imperative call-by-need calculus. In Proc. 25th ACM Symposium on Principles of Programming Languages, pages 62–74, 1998.

4. A. Asperti and N. Bussi. Mobile petri nets. Technical Report UBLCS-96-10, University of Bolognia, May 1996.

5. Studies in Logic and the Foundations of Mathematics;H. P. Barendregt,1984

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

1. Mapping the Join Calculus to Heterogeneous Hardware;Electronic Proceedings in Theoretical Computer Science;2013-02-23

2. Synchronization as a Special Case of Access Control;Electronic Notes in Theoretical Computer Science;2009-07

3. Information Hiding in the Join Calculus;Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues;2007

4. Resource Control for Synchronous Cooperative Threads;CONCUR 2004 - Concurrency Theory;2004

5. Compiling Pattern Matching in Join-Patterns;CONCUR 2004 - Concurrency Theory;2004