Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June ... Notes in Computer Science (354), Band 354)

von: Grzegorz Rozenberg · Jacobus W. de Bakker · Willem-Paul De Roever Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-51080-2 ISBN-10: 3-540-51080-X Springer · 2008