42 search results - page 1 / 9 » Modelling Remote Concurrency with Ada |
ADAEUROPE
2007
Springer
13 years 11 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
CL
1999
Springer
13 years 4 months ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
ADAEUROPE
2003
Springer
13 years 8 months ago
2003
Springer
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the conce...
SIGADA
1999
Springer
13 years 9 months ago
1999
Springer
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...