Concurrent transition systems (1989)

by Eugene W Stark
Venue:Theoretical Computer Science