Transition system speci with negative premises (1990)

by J F Groote
Venue:CONCUR '90, Lecture Notes in Computer Science 458