Title
Lax Bialgebras and Up-To Techniques for Weak Bisimulations
Year
Venue
Field
2015
International Conference on Concurrency Theory
Discrete mathematics,Algebra,Categorical variable,Equivalence (measure theory),Mathematical proof,Soundness,Congruence (geometry),Mathematics
DocType
Citations 
PageRank 
Conference
2
0.37
References 
Authors
11
4
Name
Order
Citations
PageRank
Filippo Bonchi157947.04
Daniela Petrisan2568.54
Damien Pous324031.00
Jurriaan Rot410418.53