Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker. ·
http://en.wikipedia.org/wiki/Promela
Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker. ·
http://en.wikipedia.org/wiki/Promela
T McPhillips, S Bowers, and B Ludäscher. Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4075 of LNCS, page 248--263. (2006)
T McPhillips, S Bowers, and B Ludäscher. Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4075 of LNCS, page 248--263. (2006)
S Bowers, T McPhillips, M Wu, and B Ludäscher. Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4544 of LNCS, page 122--138. (2007)
S Bowers, T McPhillips, M Wu, and B Ludäscher. Proc. of the Intl. Workshop on Data Integration in the Life Sciences DILS, volume 4544 of LNCS, page 122--138. (2007)