Trace Semantics for Coalgebras (2003)

Cached

Download Links

by Bart Jacobs
Citations:18 - 7 self