Axiomatizing flat iteration (1997)

by R J van Glabbeek
Venue:Proceedings CONCUR'97, number 1243 in Lecture Notes in Computer Science