Accès à distance ? S'identifier sur le proxy UCLouvain
Stepwise Refinement and Concurrency - the Finite-state Case
Primary tabs
Document type | Article de périodique (Journal article) – Article de recherche |
---|---|
Access type | Accès restreint |
Publication date | 1990 |
Language | Anglais |
Journal information | "Science of Computer Programming" - Vol. 14, no. 2-3, p. 185-228 (1990) |
Peer reviewed | yes |
Publisher | Elsevier Science Bv (Amsterdam) |
issn | 0167-6423 |
e-issn | 1872-7964 |
Publication status | Publié |
Affiliation | UCL |
Links |
Bibliographic reference | Gribomont, EP.. Stepwise Refinement and Concurrency - the Finite-state Case. In: Science of Computer Programming, Vol. 14, no. 2-3, p. 185-228 (1990) |
---|---|
Permanent URL | http://hdl.handle.net/2078.1/51548 |