JoCaml
From MaRDI portal
Software:14610
swMATH2065MaRDI QIDQ14610FDOQ14610
Author name not available (Why is that?)
Cited In (26)
- Title not available (Why is that?)
- Programming Languages and Systems
- Title not available (Why is that?)
- 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
- Bisimulations in the join-calculus
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
- Algebraic Pattern Matching in Join Calculus
- Linear forwarders
- 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
- Acute: High-level programming language design for distributed computation
- An efficient abstract machine for safe ambients
- Space profiling for parallel functional programs
- Using bisimulation proof techniques for the analysis of distributed abstract machines
- 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
