2011
Sound and complete axiomatizations of coalgebraic language equivalence
Publication
Publication
Computing Research Repository , Volume abs/1104.2803
Additional Metadata | |
---|---|
Computing Research Repository | |
Organisation | Computer Security |
Bonsangue, M., Milius, S., & Silva, A. (2011). Sound and complete axiomatizations of coalgebraic language equivalence. Computing Research Repository, abs/1104.2803. |