John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
Type-Safe Distributed Programming for OCaml - John Billings Peter (Correct)
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
Distributed Control Flow - With Classical Modal (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) (Correct)
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) (Correct)
Distributed Control Flow - With Classical Modal (2005) (Correct)
Type-Directed Concurrency - Deepak Garg And (Correct)
Bigraphical Models of Context-aware Systems - Birkedal Debois Elsborg (2005) (Correct)
Bigraphical Models of Context-aware Systems - Birkedal, Debois, Elsborg.. (2005) (Correct)
CLL: A Concurrent Language Built from Logical Principles - Garg (2005) (Correct)
Basic Research in Computer Science - Constructive Action Semantics (Correct)
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
Protocol Specialization - Neubauer, Thiemann (Correct)
Java Fair Threads - Boussinot (2001) (Correct)
An Event-Based Execution Model for Efficient Image.. - Johnston, Fleury.. (Correct)
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
Iktara in ConCert: Realizing a Certified Grid Computing Framework.. - Chang (2002) (3 citations) (Correct)
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
Distributed Control Flow with Classical Modal Logic - Murphy VII, Crary, Harper (2005) (Correct)
Implementing a Framework for Certified Grid Computing - DeLap (2002) (3 citations) (Correct)
Type Systems for Concurrent Programs - Kobayashi (2002) (Correct)
A Type System for Lock-Free Processes - Kobayashi (2002) (1 citation) (Correct)
An Implementation of Session Types - Neubauer, Thiemann (2004) (1 citation) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC