Compositional Verification Methods for Next-Generation Concurrency

Birkedal, Lars; Dreyer, Derek; Gardner, Philippa; Shao, Zhong

doi:10.4230/DagRep.5.5.1

Local TagsRelease HistoryDetailsSummary

Compositional Verification Methods for Next-Generation Concurrency

Birkedal, L., Dreyer, D., Gardner, P., & Shao, Z. (2015). Compositional Verification Methods for Next-Generation Concurrency. Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.5.5.1.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-000A-7EAB-9 Version Permalink: https://hdl.handle.net/21.11116/0000-000A-7EAC-8

Genre: Proceedings

Files

show Files

Locators

show

hide

Locator:
https://drops.dagstuhl.de/opus/volltexte/2015/5356/ (Publisher version) Open Access status unknown

Description:
-

OA-Status:

Creators

show

hide

Creators:
Birkedal, Lars¹, Author
Dreyer, Derek², Author
Gardner, Philippa¹, Author
Shao, Zhong¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2015

Publication Status: Published online

Pages: -

Publishing info: Wadern : Schloss Dagstuhl

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Birkedal_2015
URN: urn:nbn:de:0030-drops-53565
DOI: 10.4230/DagRep.5.5.1

Degree: -

Event

show

hide

Title: Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency"

Place of Event: Dagstuhl, Germany

Start-/End Date: 2015-05-03 - 2015-05-08

Legal Case

show

Project information

show

Source 1

show

hide

Title: Dagstuhl Reports

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 5 (5) Sequence Number: - Start / End Page: 1 - 23 Identifier: -