On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky and A. Yakovlev
This paper argues that Petri nets offers a promising tool-supported technique for checking the logical correctness of multi-tasking interaction design abstractions. Atomic actions are considered as an example abstraction.
Download Not Available
BibTex Entry
@inproceedings{Burns2001,
author = {A. Burns and A. J. Wellings and A. M. Koelmans and M. Koutny and A. Romanovsky and A. Yakovlev},
booktitle = {Proceedings of IRTAW10, Ada Letters, Vol XX1(1)},
category = {languages,design},
pages = {48-54},
title = {On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada},
year = {2001}
}