Logics for Concurrency

Author

Faron Moller, Graham Birtwistle

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1043

ISBN

9783540496755