Modeling the Ada task system by Petri nets

Computer Languages

Volumn 10, Issue 1, 1985, Pages 43-61

  Mandrioli, D ^a   Zicari, R ^a   Ghezzi, C ^a   Tisato, F ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

Ada; Concurrency; Formal semantics; Petri net; Real time; Timed Petri net

Indexed keywords

COMPUTER SOFTWARE;

FORMAL SEMANTICS; REAL-TIME; TIMED PETRI NET;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0021942583     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/0096-0551(85)90010-4     Document Type: Article

References (13)

1. Department of Defense requirements for high order programming languages, revised IRONMAN
2. Rationale for the design of the Ada programming language
3. Formal definition of the ADA programming language
4. Petri Nets
5. Language constructs for real-time distributed systems
6. Task management in Ada—A critical evaluation for real time multiprocessors
7. A methodology for the design and implementation of communication protocols
8. A comparative study of task communication in Ada
9. Operational frameworks for semantic description of concurrent languages with an application to Ada-like languages
10. Towards a formal description of Ada
11. A critical analysis fo the Ada task system with respect to real time programming