Subject Areas
Biotechnology
Business and Management
Computer Science
Engineering & Technology
Environment & Biodiversity
General Interest
Mathematics
Medical and Paramedical
Physics and Chemistry
Popular Science
School Library
To join our mailing list
 
 
Perspectives in Concurrency Theory  
Kamal Lodaya, Madhavan Mukund, R Ramanujam (Eds)
2009; 512 pp; Paperback; 158 × 240 mm; 978-81-7371-652-2
For sale only in India,Pakistan,Nepal,Myanmar,Maldives,Bhutan,Bangladesh,Sri Lanka
Series: IARCS-Universities
550.00
Perspectives in Concurrency Theory

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.