From Branching to Linear Time, Coalgebraically
Article in Electronic Proceedings in Theoretical Computer Science (August 2013)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Electronic Proceedings in Theoretical Computer Science (August 2013)