BioSPI swMATH ID: 11784 Software Authors: Description: THE BioSPI SYSTEM FOR SIMULATION OF BIOCHEMICAL PROCESSES. BioSPI is a computer application we have developed for simulating the behavior of biochemical systems specified in the pi calculus. It is based on the Logix system, which implements Flat Concurrent Prolog (FCP). The use of FCP allows both mobility and synchronized communication, two of the major features of the pi-calculus. To the best of our knowledge this is the only implementation of the full synchronous calculus, including mixed choice. Homepage: http://www.wisdom.weizmann.ac.il/~biospi/psi.htm Related Software: PRISM; MGS; Psim; P-Lingua; Dizzy; BioModels; BlenX; KEGG2SBML; PEPA; BIOCHAM; NuSMV; Bio-PEPA; TRANSFAC Cited in: 7 Publications Further Publications: http://www.wisdom.weizmann.ac.il/~biospi/index_main.html all top 5 Cited by 18 Authors 2 Barbuti, Roberto 2 Maggiolo-Schettini, Andrea 2 Milazzo, Paolo 2 Pardini, Giovanni 1 Cardelli, Luca 1 Ciocchetta, Federica 1 Dong, Xiaoju 1 Fu, Yuxi 1 Garzillo, Carmine 1 Hillston, Jane 1 Kwiatkowska, Marta Z. 1 Panina, Ekaterina M. 1 Regev, Aviv 1 Shapiro, Ehud Y. 1 Silverman, William 1 Trautteur, Giuseppe 1 Tymchyshyn, Oksana 1 Xu, Xian Cited in 1 Serial 4 Theoretical Computer Science Cited in 2 Fields 6 Computer science (68-XX) 6 Biology and other natural sciences (92-XX) Citations by Year