Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add links to implementations #6

Open
haadcode opened this issue Jul 2, 2019 · 1 comment
Open

Add links to implementations #6

haadcode opened this issue Jul 2, 2019 · 1 comment

Comments

@haadcode
Copy link
Contributor

haadcode commented Jul 2, 2019

In our research we came across a few projects that have implemented ambient calculus in one way or the other.

We should collect the names and links to any implementation of ambient calculus.
@haadcode
Copy link
Contributor Author

haadcode commented Jul 7, 2019

An Asynchronous, Distributed Implementation of Mobile Ambients

Abstract We present a first distributed implementation of the CardelliGordon’s ambient calculus. We use Jocaml as an implementation language and we present a formal translation of Ambients into the distributed join calculus, the process calculus associated with Jocaml. We prove the correctness of the translation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@haadcode