Search results for: Filippo Bonchi
Information and Computation > 2017 > 252 > C > 2-29
Journal of Pure and Applied Algebra > 2017 > 221 > 1 > 144-184
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Process Calculi > 138-152
Acta Informatica > 2017 > 54 > 2 > 127-190
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 123-138
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 240-256
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Bisimulation > 173-190
Lecture Notes in Computer Science > Graph Transformations > Borrowed Contexts and Adhesive Categories > 168-183
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Models of Computation > 544-562
Lecture Notes in Computer Science > Programming Languages and Systems > Session 6: Semantics > 289-304
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 395-412