закладки (спрятать)61
- Haskell library featuring a concurrency model inspired by CSP
- Documentation of Occam modules
- Occam resources on Fred Barnes' web site
- Introduction to Occam on Fred Barnes' web site
- Program that visualizes the Lego Mindstorms RCX internal logic through visual flowcharts.
- Automated tool for the manipulation and analysis of concurrent systems
- Language for dynamic creation of concurrent processes; communication via message channels and; can be analyzed with the SPIN model checker.
- Tool for verifying correctness of distributed software modeled in Promela.
- Wikipedia article. Guarded commands are used within the Promela programming language, which is used by the SPIN model checker.
- Wikipedia article
- IBM's introduction to JCSP
- Wikipedia article
- Wikipedia article
- Wikipedia article
- Wikipedia article
- Wikipedia article
- Wikipedia article
- Wikipedia article
публикации (спрятать)129
- Scientific Data Management, глава 13, Chapman & Hall, (2009)
- Future Generation Computer Systems, 25 (5): 541-551 (2008)
- Scientific and Statistical Database Management, (2009)
- CIKM '06: Proceedings of the 15th ACM international conference on Information and knowledge management, стр. 337--346. New York, NY, USA, ACM, (2006)
- BMC Bioinformatics, (2007)
- Nat Genet, 34 (2): 166--176 (июня 2003)
- Comput Biol Chem, 31 (5-6): 305-319 (октября 2007)
- Genome Res, 14 (9): 1797-1805 (сентября 2004)
- BMC Bioinformatics, 7 (1): 176 (2006)
- BMC Bioinformatics, 7 (1): 286 (2006)
- ICFP, стр. 3-14. ACM, (2008)
- (2009)
- Communicating Process Architectures 2008, стр. 67-83. (2008)
- IEEE Data Eng. Bull., 30 (4): 44-50 (2007)
- Proc. of the Intl. Workshop on Data Integration in the Life Sciences (DILS), том 4075 из LNCS, стр. 248--263. (2006)
- IPAW, том 5272 из Lecture Notes in Computer Science, стр. 70-77. Springer, (2008)
- Scientific and Statistical Database Management, (2008)
- Proc. of the Intl. Workshop on Data Integration in the Life Sciences (DILS), том 4544 из LNCS, стр. 122--138. (2007)
- SIGMOD Record, 34 (3): 12--17 (2005)
- Proc. of the Intl. Provenance and Annotation Workshop (IPAW), том 4145 из LNCS, стр. 133--147. (2006)
