cosimo-laneve documents

Congresso nazionale fimp
Education Congresso nazionale fimp
From Biochemistry to Stochastic Processes
Documents From Biochemistry to Stochastic Processes
A simple calculus for proteins and cells
Documents A simple calculus for proteins and cells
A type system for JVM threads
Documents A type system for JVM threads
A Simple Calculus for Proteins and Cells
Documents A Simple Calculus for Proteins and Cells
Theoretical Computer Science, 8 conf., ICTCS 2003
Documents Theoretical Computer Science, 8 conf., ICTCS 2003