- Title
- Timewise Refinement for Communicating Processes.
- Creators
- S Schneider
- Publication Details
- Science of Computer Programming, Vol.28(1), pp.43-90
- Publisher
- Elsevier
- Date published
- 1997
- Date submitted
- 27/05/2010
- Identifiers
- 99515271602346
- Academic Unit
- Department of Computer Science
- Resource Type
- Journal article
Journal article
Timewise Refinement for Communicating Processes.
Science of Computer Programming, Vol.28(1), pp.43-90
1997
Metrics
257 File views/ downloads
19 Record Views