Expressive modular fine-grained concurrency specification (Extended version)
Submitted by KUL on Thu, 2011-01-13 12:50
| Title | Expressive modular fine-grained concurrency specification (Extended version) |
| Publication Type | Report |
| Year of Publication | 2010 |
| Authors | Jacobs, B., and F. Piessens |
| Document Number | CW590 |
| Date Published | July |
| Institution | Department of Computer Science, K.U.Leuven |
| Type | CW Reports |
| URL | https://lirias.kuleuven.be/handle/123456789/278645 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
