2013-12-16
Coalgebraic tools for bisimilarity and decorated trace semantics
Publication
Publication
Additional Metadata | |
---|---|
J.J.M.M. Rutten (Jan) , A. Ingólfsdóttir | |
Radboud Universiteit | |
Organisation | Computer Security |
Caltais, G. (2013, December 16). Coalgebraic tools for bisimilarity and decorated trace semantics. |