Search results for: P. Baldan
Fundamenta Informaticae > 2018 > Vol. 160, nr 1/2 > 27--52
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Logic and Compositionality > 502-518
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 478-489
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 1-33
Fundamenta Informaticae > 2015 > Vol. 140, nr 1 > 1--38
Electronic Notes in Theoretical Computer Science > 2008 > 211 > Complete > 39-50
Electronic Notes in Theoretical Computer Science > 2008 > 204 > Complete > 111-127
Theoretical Computer Science > 2007 > 389 > 3 > 446-483
Electronic Notes in Theoretical Computer Science > 2005 > 127 > 5 > 21-41
Electronic Notes in Theoretical Computer Science > 2005 > 127 > 2 > 5-28
Theoretical Computer Science > 2004 > 323 > 1-3 > 129-189
Theoretical Computer Science > 1995 > 152 > 2 > 324
Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 1-12