William Silverman

Publication Activity (10 Years)

Years Active: 1991-2004
Publications (10 Years): 0

Publications

Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro
BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci. 325 (1) (2004)
Aviv Regev, William Silverman, Ehud Shapiro
Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. Pacific Symposium on Biocomputing (2001)
Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80 (1) (2001)
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
High-level language support for programming distributed systems. ICCL (1992)
Yaron Goldberg, William Silverman, Ehud Shapiro
Logic Programs with Inheritance. FGCS (1992)
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini
High-level language support for programming distributed systems. CASCON (1991)