Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published July 12, 2024 | Version v4
Other Open

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)

Authors/Creators

  • Derakhshan, Farzaneh (Researcher)1 ORCID icon
  • Balzer, Stephanie (Researcher)2 ORCID icon
  • Yao, Yue (Researcher)2 ORCID icon
  • 1. Illinois Institute of Technology
  • 2. ROR icon Carnegie Mellon University

Files

Files (1.4 GB)

Name Size Download all
ecoop24.tar.gz
md5:e08e665e2106cb240317fb6524b2d398
1.4 GB Download
147
Views
40
Downloads
Show more details
All versions This version
Views

Total views

147 41
Downloads

Total downloads

40 18
Data volume

Total data volume

92.5 GB 24.5 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.12735388
DOI Badge

DOI

10.5281/zenodo.12735388

Markdown

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

reStructuredText

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

HTML

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

Image URL

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

Target URL

https://doi.org/10.5281/zenodo.12735388
Resource type
Other
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 12, 2024
Modified
July 12, 2024

About

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

Blog

  • Blog

Help

  • Overview
  • FAQ
  • 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