Bibliography: p241-252. - Includes index.
Nets, terms and formulas : three views of concurrent processes and their relationship by E.-R Olderog. ISBN 0521400449. Published by Cambridge University Press in 1991. Publication and catalogue information, links to buy online and reader comments.