Linear time, branching time, and partial order in logics and models for concurrency
by Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever
1989713 pages
by Willem-Paul de Roever, Grzegorz Rozenberg, J. W. de Bakker, W.-P. de Roever
No users with this book on their shelves. Maybe you could be the first.
No reviews yet. Add your review.
No lists containing this book.
The Amazon links are affiliate links
Springer-Verlag
Springer-Verlag
ISBN 10: 038751080X