Trace Semantics for Coalgebras (2003)

Cached

Download Links

by Bart Jacobs
Citations:21 - 7 self