Bakker, J. W. <br/><br/>
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency  School/Workshop, Noordwijkerhout, The Netherlands May 30 - June 3, 1988 / 
edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540461470 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Microprogramming.; Computer Communication Networks.; Operating systems (Computers).; Data structures (Computer science).; Computer Science.; Programming Techniques.; Control Structures and Microprogramming.; Processor Architectures.; Computer Communication Networks.; Operating Systems.; Data Structures.