Trace Semantics for Coalgebras (2003)

Cached

Download Links

by Bart Jacobs
Citations:23 - 7 self