Lesezeichen (verstecken)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
Publikationen (verstecken)129
- Scientific Data Management, Kapitel 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, Seite 337--346. New York, NY, USA, ACM, (2006)
- BMC Bioinformatics, (2007)
- Nat Genet, 34 (2): 166--176 (Juni 2003)
- Comput Biol Chem, 31 (5-6): 305-319 (Oktober 2007)
- Genome Res, 14 (9): 1797-1805 (September 2004)
- BMC Bioinformatics, 7 (1): 176 (2006)
- BMC Bioinformatics, 7 (1): 286 (2006)
- ICFP, Seite 3-14. ACM, (2008)
- (2009)
- Communicating Process Architectures 2008, Seite 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), Volume 4075 von LNCS, Seite 248--263. (2006)
- IPAW, Volume 5272 von Lecture Notes in Computer Science, Seite 70-77. Springer, (2008)
- Scientific and Statistical Database Management, (2008)
- Proc. of the Intl. Workshop on Data Integration in the Life Sciences (DILS), Volume 4544 von LNCS, Seite 122--138. (2007)
- SIGMOD Record, 34 (3): 12--17 (2005)
- Proc. of the Intl. Provenance and Annotation Workshop (IPAW), Volume 4145 von LNCS, Seite 133--147. (2006)
