A Computational Model for ADA and other concurrent languages

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Computational Model for ADA and other concurrent languages
 
Creator Mayoh, Brian H.
 
Description An earlier report [PB-157] presented the argument for diagrams as the most suitable models for programs with concurrency. In a diagram the configurations correspond to points of the program, there is a move from m to n if n can be the next program point after m and the move is labelled by the program action when the computation follows the move. This report shows that this computational model is suitable for ADA and other languages with concurrency. In Section 1 we give the computational model for the guarded command language GCL; in Section 2, a powerful specification language SCSS is modelled; in Section 3 we give the model for the language CSP of communicating sequential processes; then the techniques introduced in these sections are used when ADA programs are modelled in Section 4.
 
Publisher Aarhus University
 
Contributor
 
Date 1983-05-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7436
10.7146/dpb.v12i162.7436
 
Source DAIMI Report Series; No 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages
DAIMI Report Series; No 162 (1983): PB-162 A Computational Model for ADA and other concurrent languages
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7436/6286
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library