Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
ECOOP24
Published July 11, 2024 | Version v6
Software Open

Fearless Asynchronous Communications with Timed Session Types in Rust

Creators

  • Anonymous, Anonymous

Files

README.md

Files (16.1 GB)

Name Size Download all
artifact.tar
md5:06073a8a89f4c520990f87157ca132ed
16.1 GB Download
README.md
md5:0ee5a129a5b2ef6416dfb75c23a93dd7
29.0 kB Preview Download
461
Views
190
Downloads
Show more details
All versions This version
Views

Total views

461 98
Downloads

Total downloads

190 42
Data volume

Total data volume

1.9 TB 353.2 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.12729216
DOI Badge

DOI

10.5281/zenodo.12729216

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.12729216.svg)](https://doi.org/10.5281/zenodo.12729216)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.12729216.svg
  :target: https://doi.org/10.5281/zenodo.12729216

HTML

<a href="https://doi.org/10.5281/zenodo.12729216"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.12729216.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.12729216.svg

Target URL

https://doi.org/10.5281/zenodo.12729216
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
July 11, 2024
Modified
July 11, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Help

  • FAQ
  • Docs
  • Guides
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use
  • Support

This site uses cookies. Find out more on how we use cookies