Search results for: Mariangiola Dezani-Ciancaglini
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 267--305
Acta Informatica > 2019 > 56 > 7-8 > 553-583
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 31-49
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Invited Talks > 1-31
Lecture Notes in Computer Science
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 135-151
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 356-370
Lecture Notes in Computer Science > ECOOP 2001 — Object-Oriented Programming > Language Design > 130-149
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Invited Paper > 1-29
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Models of Computation > 207-245
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 659-680