Search results for: Lucia Pomello
Fundamenta Informaticae > 2020 > Vol. 171, nr 1-4 > 39--56
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 28-44
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 140-160
Lecture Notes in Computer Science > CONCURRENCY 88 > 222-236
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Invited papers > 77-96
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 641-668
Electronic Notes in Theoretical Computer Science > 2011 > 270 > 1 > 147-154
Theoretical Computer Science > 2003 > 290 > 1 > 637-668