Sequentiality by linear implication and universal quantification (1995)

by Alessio Guglielmi
Venue:In Jörg Desel, editor, Structures in Concurrency Theory, Workshops in Computing