|
|
Volumn 162, Issue 1, 2006, Pages 209-215
|
|
Why ever CSP?
|
|
Author keywords
bisimulation; CCS; CSP; refinement; retractions; unifying theories
|
|
Indexed keywords
BISIMULATION;
COMMUNICATING SEQUENTIAL PROCESSES;
RETRACTIONS;
UNIFYING THEORIES;
COMPUTER SIMULATION;
CONCURRENCY CONTROL;
MATHEMATICAL MODELS;
COMMUNICATION SYSTEMS;
|
|
EID: 33748896635
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2006.01.031 Document Type: Article |
|
Times cited : (9)
|
|
References (0)
|
