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 | |
978-94-6191-968-7 | |
Organisation | Computer Security |
Caltais, G. (2013, December 16). Coalgebraic tools for bisimilarity and decorated trace semantics.
|