Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Open access
Date
2015Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-010415005Publication status
publishedExternal links
Journal / series
Electronic Proceedings in Theoretical Computer ScienceVolume
Pages / Article No.
Publisher
Open Publishing AssociationEvent
Subject
VERIFICATION (SOFTWARE ENGINEERING); PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science03594 - Meyer, Bertrand (emeritus)
More
Show all metadata
ETH Bibliography
yes
Altmetrics