CSP LABORATORY Jacek Olszewski School P.O.Box of Computer University 1 Kensington, Science and Engineering NSW 2033, Australia of New South Wales jacek@cs.unsw.oz.au ABSTRACT CSP Laboratory is a software environment for students of parallel Simple means a subset of CSP without its inputJoutput notation for transfers of data between processes. Delisle and Schwartz [2] have programming. It provides tools and facilities to experiment with, tes~ and anrdyse CSP descriptions (prototypes) of parallel systems. The analysis includes automatic detection of deadlocks and unsafe behaviors 1 of CSP processes. created a CSP programming environment where programs can be subjected to experiments and animated on the screen. Their CSP model is written in Scheme. ThE paper presents two models of CSP, both implemented non-strict polymorphic functional language Miranda used as aids in teaching of concurrent programming at UNSW in a [12, [17], and both operators: INTRODUCTION 13, 14]. The models include a core of process structuring + (to be put between an event and the continuation after the event), I_J(choice of processes), of processes), ? (input of data), and ! 11(@rrdtel CSP (Communicating Sequential Processes) [7] are one of four major concepts pertaining to a formal basis of paratlel programming. The three
End of preview. The entire article is 5 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/csp-laboratory-OQynoz2C8B
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
CSP laboratory
Olszewski, Jacek
Follow ACM SIGCSE Bulletin
, Volume 25 (1)
Association for Computing Machinery – Mar 1, 1993
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
