Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures-Reference-Cited by-同舟云学术

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

Published:2007-04 Issue: Volume:173 Page:313-337
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Niehren Joachim,Sabel David,Schmidt-Schauß Manfred,Schwinghammer Jan

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference20 articles.

1. The incremental garbage collection of processes;Baker;ACM Sigplan Notices,1977

2. On the representation of McCarthy's amb in the pi-calculus;Carayol;Theoret. Comput. Sci.,2005

3. Developing Applications With Objective Caml;Chailloux,2000

4. Conchon, S. and F.L. Fessant, Jocaml: Mobile agents for Objective-Caml, in: First International Symposium on Agent Systems and Applications (ASA'99)/Third International Symposium on Mobile Agents (MA'99), 1999

5. A theory of weak bisimulation for Core CML;Ferreira;J. Funct. Programming,1998

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

1. Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars;Electronic Proceedings in Theoretical Computer Science;2020-08-27

2. Sequential and Parallel Improvements in a Concurrent Functional Programming Language;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03

3. Observational program calculi and the correctness of translations;Theoretical Computer Science;2015-04

4. Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB;Lecture Notes in Computer Science;2014

5. ASPfun : A typed functional active object calculus;Science of Computer Programming;2012-07