Referanser

[CBSE]

"The Current State of CBSE",  Alan W. Brown (Sterling Software), Kurt. C. Wallnau (SEI), IEEE Software Sept/Oct 1998

[CSP - Formal Systems]

Firma som leverer verktøyet FDR, Se http://www.formal.demon.co.uk/

[CSP - Hoare 85]

C.A.R. Hoare, "Communicating Sequential Processes". Prentice Hall, 1985. Se også http://www.comlab.ox.ac.uk/archive/csp.html

[Eskedal 90]

"Implementasjon av SDL systemer i occam/transputer miljø". Hovedfagsoppgave i fysikk av Thor Gunnar Eskedal, Fysisk Institutt, Universitetet i Oslo, 1990

[Hatton 98]

"Does OO Sync with How We Think?", Les Hatton, IEEE Software, mai/juni 1998 (Se motinnlegg i samme blad s.55-56 og leserbrev med svar i sept/okt. nummeret s.8-9)

[HENSA - parallell]

Dette er startpunktet for det meste med occam, også noe CSP og Java/CSP: http://www.hensa.ac.uk/parallel/

[Java - Swing]

http://java.sun.com/products/jfc/swingdoc-archive/threads.html

[Java CSP - CJP] - [--]

"A new Java Thread model for concurrent programming of real-time systems". Gerald Hilderink et.al, Real-Time Magazine 98-1, pp.30-35. Se også http://www.rt.el.utwente.nl/javapp/

[Java CSP - JCSP] - [--]

Java Communicating Sequential Processes, Se http://www.hensa.ac.uk/parallel/languages/java/jcsp/

[Martin 94]

"Design Rules for Deadlock Freedom", Jeremy Martin, Ian East and Sabah Jassim, Transputer Communications, Wiley, Vol 2 number 3, Sept. 1994, pp.121-133

[Limbo]

Lucent Technologies Inc., "The Limbo Programming Language". Se også http://inferno.lucent.com/inferno/limbo.html  

[Millstein et.al. 94] - [--]

"Running SDL on Transputers", Geir Millstein, Arne Sommerfelt, Eivind A. Strøm, SISU II rapport, 1994

[Monroe et.al. 97]

"Architectural Styles, Design Patterns, and Objects", Robert Monroe et.al., IEEE Software, jan. 1997

[Occam - SPoC 94]

Mark Debbage, Mark Hill, Sean Wykes, Denis Nicole, "Southampton's Portable Occam Compiler (SPOC)", In: Miles, Chalmers (ed.), "Progress in Transputer and occam Research", IOS Press, Amsterdam, 1994 (WoTUG-17 proceedings), pp.40-55. Se også  
http://www.hensa.ac.uk/parallel/occam/compilers/spoc/

[Occam - Inmos 88]

"occam2 Reference Manual". INMOS Ltd, Prentice Hall, 1988 (C.A.R. Hoare er serie redaktør) ISBN 0-13-629312-3. Se [HENSA - parallell]

[Occam - ST 95]

"occam2.1 Reference Manual". SGS-Thomson Ltd. Publisert som del av siste versjon av transputer kompilator. Se  Se [HENSA - parallell]

[Occam - KRoC 95]

http://www.hensa.ac.uk/parallel/occam/projects/occam-for-all/kroc/index.html

[Petitpierre 98]

"Synchronous C++: A Language for Interactive Apllications", Claude Petitpierre, IEEE Computer, sept. 1998. Se også http://ltiwww.epfl.ch/sCxx/sC++_toc.html. Han sier selv at han ligger nær "CCS" (Se www.comlab.ox.ac.uk/archive/formal-methods.html)

[Stiles 98]

"Safe and Verifiable Design of Multithreaded Java Programs with CSP for FDR." Dyke Stiles, fra OOPSLA'98. Se http://www-dse.doc.ic.ac.uk/~sue/oopsla/cfp.html

[TC Jan96]

Det er flere artikler om Petri nett modellering av CSP i Transputer Communications, Wiley, Vol 3 nummer 1, januar 1996 - en spesialutgave om CASE teknologi for parallell system utvikling.

[Teig EDN]

"Ping-Pong scheme uses semaphores to pass dual-port memory privileges", Øyvind Teig, EDN, 6th June 1996. Inneholder aksess algoritme og simulator i occam. Finnes på http://www.ednmag.com/reg/1996/060696/12df7.cfm

[Teig Dr.Dobb's]

"Java Deadlock", Øyvind Teig. Leserinnlegg i Dr.Dobb's Journal, January 1998, s.10.

[Teig WoTUG-21] - [--] - [--]

"PAR and STARTP Take the Tanks", Øyvind Teig, In: P.H.Welch, A.W.P.Bakkers (ed.) "Architectures, Languages and Patterns for Parallel and Distributed Applications", pp. 1-18. 1998 (WoTUG-21 proceeding). IOS Press, Amsterdam, ISSN 1383-7575. Se også http://www.hensa.ac.uk/parallel/groups/wotug/wotug21/papers.html

[Teig RTMag] - [--] - [--]

"Non-preemptive occam in DSP real-time system", Øyvind Teig, Real-Time Magazine, 3Q98. Lokal kopi. Se også http://www.realtime-info.be/encyc/magazine/98Q3/index983.htm

[Wegner 87]

"Dimensions of Object-Based Language Design",P.Wegner, in Proc. Of the OOPSLA '87 Conf. On Object-Oriented Programming Systems, Languages and Applications, 1987