A Thread Algebra with Multi-Level Strategic Interleaving, (2007)

by J A Bergstra, C A Middelburg
Venue:Theory of Computing Systems,