Trace Semantics for Coalgebras (2003)

View PDF

Download Links

by Bart Jacobs
Citations:22 - 7 self