@dblp

Symbolic and Asynchronous Semantics via Normalized Coalgebras

, and . Logical Methods in Computer Science (2011)

Links and resources

URL:
BibTeX key:
journals/corr/abs-1103-0437
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication