JoCaml
From MaRDI portal
Software:14610
swMATH2065MaRDI QIDQ14610FDOQ14610
Author name not available (Why is that?)
Cited In (26)
- Title not available (Why is that?)
- A Categorical Model of the Fusion Calculus
- Programming Languages and Systems
- Title not available (Why is that?)
- Chemical foundations of distributed aspects
- On distributability
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
- Inheritance in the join calculus.
- A concurrent lambda calculus with futures
- 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
- OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler
- 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
This page was built for software: JoCaml
