Volume 15 2003

Logic for Concurrency and Synchronisation

Editors:

ISBN: 978-1-4020-1270-9 (Print) 978-0-306-48088-1 (Online)