Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Italy papers mirror
Published November 13, 2007 | Version v1
Book chapter Open

Proving Deadlock Freedom in Component-Based Programming

Authors/Creators

  • Inverardi, Paola
  • Uchitel, Sebastian

Description

n/a

Files

fulltext.pdf

Files (255.1 kB)

Name Size Download all
fulltext.pdf
md5:4a459d67e523fe5ade951de30933b3df
255.1 kB Preview Download
10
Views
19
Downloads
Show more details
All versions This version
Views

Total views

10 10
Downloads

Total downloads

19 19
Data volume

Total data volume

4.8 MB 4.8 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.1007/3-540-45314-8_6
DOI Badge

DOI

10.1007/3-540-45314-8_6

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.1007/3-540-45314-8_6.svg)](https://doi.org/10.1007/3-540-45314-8_6)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.1007/3-540-45314-8_6.svg
  :target: https://doi.org/10.1007/3-540-45314-8_6

HTML

<a href="https://doi.org/10.1007/3-540-45314-8_6"><img src="https://zenodo.org/badge/DOI/10.1007/3-540-45314-8_6.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.1007/3-540-45314-8_6.svg

Target URL

https://doi.org/10.1007/3-540-45314-8_6
Resource type
Book chapter
Publisher
Zenodo
Languages
Undetermined

Rights

License
Other (Open)
No further description.

Citation

Export

Technical metadata

Created
December 8, 2024
Modified
December 8, 2024

About

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

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

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

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