Modal and Temporal Properties of Processes (Texts in Computer Science)

Processes

by Colin Stirling

Hardcover

ISBN: 978-0-387-98717-0

ISBN-10: 0-387-98717-7

Springer · 2001