Cited in
(43)- scientific article; zbMATH DE number 2090726 (Why is no real title available?)
- scientific article; zbMATH DE number 1693039 (Why is no real title available?)
- Programming Languages and Systems
- Chemical foundations of distributed aspects
- On distributability
- Inheritance in the join calculus.
- A concurrent lambda calculus with futures
- A categorical model of the fusion calculus
- On Bisimulation Proofs for the Analysis of Distributed Abstract Machines
- scientific article; zbMATH DE number 1759482 (Why is no real title available?)
- Bisimulations in the join-calculus
- Algebraic Pattern Matching in Join Calculus
- Linear forwarders
- TulaFale
- PiDuce
- SafeDpi
- VESTA
- MWB
- Facile
- Pict
- KLAIM
- Multilisp
- ULM
- XPi
- Ocsigen
- OCaml-Java
- GcPan
- js_of_ocaml
- CaesarJ
- Welterweight Java
- CONCUR 2005 – Concurrency Theory
- Characterizing contextual equivalence in calculi with passivation
- Modelling dynamic web data
- Programming Languages and Systems
- Observational semantics for a concurrent lambda calculus with reference cells and futures
- PiDuce- A project for experimenting web services technologies
- An efficient abstract machine for safe ambients
- Acute: High-level programming language design for distributed computation
- Using bisimulation proof techniques for the analysis of distributed abstract machines
- Space profiling for parallel functional programs
- Distributability of mobile ambients
- A reduction semantics for direct-style asynchronous observables
- OCaml-Java: the Java virtual machine as the target of an OCaml compiler
This page was built for software: JoCaml
