Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Decade of Concurrency - Reflections and Perspectives REX School/Symposium Noordwijkerhout, The Netherlands,June93

by de Bakker, J W | de Roever, W.P | Rozenberg, G.

Series: Lecture notes in computer science ; 00803Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Current trends in concurrency, overviews and tutorials

by De Bakker, J W. etal Eds.

Series: Lecture notes in computer science ; 00224Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1986Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS.

BOOKS
Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989

by de Bakker, J W. Ed | de Roever, W P. Ed | Rozenberg, G. Ed.

Series: Lecture notes in computer science ; 00430Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

BOOKS
Linear time, branching time and partial order in logics and models for concurrency :

by de Bakker, J.W Ed | de Roever, W.P. Ed | Rozenberg,G. Ed.

Series: Lecture notes in computer science ; 00354Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha