Search results for: Cosimo Laneve
Concurrency and Computation: Practice and Experience > 35 > 16 > n/a - n/a
Science of Computer Programming > 2017 > 147 > C > 27-53
Information and Computation > 2017 > 252 > C > 48-70
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 513-523
Lecture Notes in Computer Science > CONCUR 2002 — Concurrency Theory > Models of Computation, Process Algebra > 418-433
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > Invited Speakers > 18-34
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 397-408
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Regular Papers > 34-46
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 485-500