| |
Perspectives in Concurrency Theory is an excellent collection of research papers in concurrency theory, especially from the viewpoint of automata and logics, contributed by leading researchers in the field as a tribute to P S Thiagarajan, one of the principal researchers in the area, on the occasion of his sixtieth birthday. The range of topics covered includes formal methods and models in concurrent systems: net theory, process algebra, temporal and dynamic logics, control synthesis, security, message sequence charts, system testing and verification and process scheduling. Graduate students and professionals working in this area will find the book an invaluable source of reference.
ISBN - 9788173716522
|
| |
Pages : 512
|