Items where Author is "Sassone, Vladimiro"
Jump to: Book Section Number of items: 1. Book SectionBuscemi, Maria Grazia and Sassone, Vladimiro High-Level Petri Nets as Type Theories in the Join Calculus. In: Proceedings of Foundations of Software Science and Computation Structure (FoSSaCS ’01). Lecture Notes in Computer Science, 2030 . Springer, pp. 104-120. ISBN 3-540-41864-4 (2001) |