Towards practical graph-based verification for an object-oriented concurrency model

Towards practical graph-based verification for an object-oriented concurrency model

To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such as SCOOP have been proposed. Despite the practical importance of analysing SCOOP programs, there a...

Full description

Saved in:
Bibliographic Details
Main Authors: HEUßNER, Alexander, POSKITT, Christopher M., CORRODI, Claudio, MORANDI, Benjamin
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2015
Subjects:
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4911
https://ink.library.smu.edu.sg/context/sis_research/article/5914/viewcontent/Heussner_PCM.GaM.2015.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4911
https://ink.library.smu.edu.sg/context/sis_research/article/5914/viewcontent/Heussner_PCM.GaM.2015.pdf

Similar Items