Publication:

Deadlock-free monitors

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorHamin, Jafar
dc.contributor.authorJacobs, Bart
dc.date.accessioned2021-10-25T19:29:27Z
dc.date.available2021-10-25T19:29:27Z
dc.date.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/30841
dc.identifier.urlhttps://doi.org/10.1007/978-3-319-89884-1_15
dc.source.beginpage415
dc.source.conferenceESOP 2018: Programming Languages and Systems
dc.source.conferencedate14/04/2018
dc.source.conferencelocationThessaloniki Greece
dc.source.endpage441
dc.title

Deadlock-free monitors

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42474.pdf
Size:
911.78 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions