occam-com mailing list archive (by thread)
- CPA 2009 pictures ?,
Joël-Alexis Bialkiewicz
- Go benchmark programs,
Jim Whitehead II
- Re: [pop-dev] Go - a new language from Google,
P.H.Welch
- The new Google "Go" language - with n=0..N buffered blocking channels,
Teig, Oyvind UTCFS
- PhD thesis jury member (reviewer) needed,
Joël-Alexis Bialkiewicz
- CPA 2009 - almost final call for delegates,
P.H.Welch
- Quote from CACM paper: cost of parallelism,
Ruth Ivimey-Cook
- CPA 2009 Fringe programme - call for abstracts,
P.H.Welch
- CPA 2009 programme and call for delegates,
P.H.Welch
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points),
P.H.Welch
- Fleet - a radically new processor architecture,
Tom Locke
- CPA 2009 - extension of submission deadline,
P.H.Welch
- New product releases from Altreonic,
Eric Verhulst
- CPA 2009 - paper submission deadline ...,
P.H.Welch
- New mailing lists for process-oriented programming,
Adam Sampson
- Transterpreter,
Iain Phillips
- CPA 2009 Call-for-Pepers,
P.H.Welch
- The CRG blog, and new features in KRoC,
Adam Sampson
- C Omega,
Gordon Hutchison
- JCSP, CSP Networking, and other some other points,
Chalmers, Kevin
- Re: JCSP, CSP Networking, and other some other points,
Adam Sampson
- RE: JCSP, CSP Networking, and other some other points,
Andrzej Lewandowski
- <Possible follow-ups>
- Re: JCSP, CSP Networking, and other some other points,
P.H.Welch
- Re: JCSP, CSP Networking, and other some other points,
Ruth Ivimey-Cook
- Re: JCSP, CSP Networking, and other some other points,
Ian East
- Message not available
- RE: JCSP, CSP Networking, and other some other points,
Eric Verhulst
- son of occam (was: Re: JCSP, CSP Networking, and other some other points),
Larry Dickson
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points),
Matt Pedersen
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points),
Ian East
- Re: son of occam,
Ruth Ivimey-Cook
- Re: son of occam (was: Re: JCSP, CSP Networking, and other some other points),
Bob Gustafson
- A CSP library "for dummies"?,
Ruth Ivimey-Cook
- many-to-one channel,
Larry Dickson
- JCSP Networking 2.0,
Chalmers, Kevin
- XMOS at the CPA fringe next week ...,
P.H.Welch
- CPA 2008 Timetable and Programme,
P.H.Welch
- CPA 2008 programme,
P.H.Welch
- Occam for embedded system,
Lakhani, F.N.
- Occam for FPGAs,
Lakhani, F.N.
- CPA 2008 Fringe,
P.H.Welch
- CoSMoS Workshop following CPA 2008,
P.H.Welch
- Parallel Haskell,
A.E.Lawrence
- Occam Programming,
Farah Lakhani
- Beginner in Occam,
fnl1
- Finding concurrency errors in Java (Web seminar),
P.H.Welch
- CoSMoS Workshop Call (just after CPA 2008),
P.H.Welch
- CPA 2008 submission deadline approaches ...,
P.H.Welch
- [Open License Society newsletter] newsletter on wishes 2008, OpenComRTOS, OpenSpecs, jobs,
Eric Verhulst \(OLS\)
- CPA 2008 Call For Papers,
P.H.Welch
- Hardware software codesign,
Ruth Ivimey-Cook
- Occam's Razor,
Matt Pedersen
- Alan Kay on the meaning of "object oriented",
Tom Locke
- Old transputer development hardware - anyone interested?,
Michael Poole
- Intel Threading...,
Ruth Ivimey-Cook
- Re: More multi-core,
P.H.Welch
- CFC extended: process algebra book,
Bill Gardner
- A set of Transputing '91 available...,
Dyke Stiles
- Call for participation: CPA 2007,
A.Mcewan
- Call for Chapters: Process algebra book,
Bill Gardner
- FCS'07 special session: call for papers,
Marc L. Smith
- Revised email address,
Michael Poole
- Concurrent programming coming to JavaScript,
Tom Locke
- concurrency research "hot" again?,
Allan McInnes
- CPA 2007 - Final Call for papers,
P.H.Welch
- protocol standards that use formal specification of behavior?,
Alan Grover
- 2nd CFP: CPA2007, and invited speaker announcement,
A.Mcewan
- CPA2007 Document Template,
Chalmers, Kevin
- Wishes for the workers anno 2007,
Eric Verhulst
- Inline VALOF,
Adam Sampson
- CFP: CPA2007,
A.Mcewan
- Occam counted array :: descheduling points,
oyvind . teig
- Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux),
Andrew Delin
- Re: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux),
Matt Jadud
- <Possible follow-ups>
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux),
Chalmers, Kevin
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux),
Chalmers, Kevin
- RE: Transputer Development System, 2006? (aka Sony PS/3 runs multi-core Linux),
oyvind . teig
- CPA 2001 Proceedings,
Chalmers, Kevin
- jcsp.mobile,
Chalmers, Kevin
- RE: 2007,
A.Mcewan
- Wotug.org Maintenance Tue 10th Oct,
Ruth Ivimey-Cook
- CPA 2006 (afterwards),
P.H.Welch
- waking up processes on external input,
Richard Tonge
- Calls for Papers,
Kevin Chalmers
- Jokes,
Ruth Ivimey-Cook
- Yet another article on the need for better parallel.,
Kevin Chalmers
- CPA 2006 Fringe Programme,
P.H.Welch
- For CPA authors especially: Call for CPA2006 CD-ROM Contents,
Ruth Ivimey-Cook
- TechEd 2006 -- "parallelism is the new OO",
Andrew Delin
- Message not available
- <Possible follow-ups>
- RE: TechEd 2006 -- "parallelism is the new OO",
Chalmers, Kevin
- RE: TechEd 2006 -- "parallelism is the new OO",
neil
- RE: TechEd 2006 -- "parallelism is the new OO",
Chalmers, Kevin
- RE: TechEd 2006 -- "parallelism is the new OO",
neil
- RE: TechEd 2006 -- "parallelism is the new OO",
Chalmers, Kevin
- RE: TechEd 2006 -- "parallelism is the new OO",
P.H.Welch
- RE: TechEd 2006 -- "parallelism is the new OO",
Chalmers, Kevin
- Parallax Propeller processor,
Adam Sampson
- Open License Society reinvents RTOS,
Eric Verhulst
- RE: occam REPL,
P.H.Welch
- RA position in concurrent OS development at Kent,
Fred Barnes
- CPA 2006: Fringe programme,
P.H.Welch
- CPA 2006: call-for-participants,
P.H.Welch
- [Fwd: Re: my web site (fwd)],
Matt Jadud
- Re: my web site,
tjoccam
- my web site (was: RE: Occam and the parallel Playstation),
tjoccam
- Occam and the parallel Playstation,
Andrew Delin
- Fwd: BCS FACS Teaching Formal Methods Workshop - call for participation,
Ian East
- MS DSL designers,
Alan Grover
- Why does old check work better?,
tjoccam
- RE: Intel: timely article,
tjoccam
- Re: RAE / conferences,
Ian East
- RE: AW: The world needs process-orientation,
Tony Gore
- occam-pi.org and mailing list archives,
Adam Sampson
- The world needs process-orientation,
neil
- RE: Is OO a deliberate fraud?,
neil
- CPA 2006 !,
P.H.Welch
- CPA 2006 - Call for Papers!,
P.H.Welch
- CSP/Occam Demo Cases,
Koehne Kai
- RE: CSP Benefits Wrap-up,
Ruth Ivimey-Cook
- CPA 2006, Napier University, Edinburgh, Scotland,
P.H.Welch
- Dusty B008 (was: Re: Dusty TRAMs sought),
tjoccam
- AW: Process Placement in Occam 2.1 / INMOS Occam test suite,
Koehne Kai
- RE: Process Placement in Occam 2.1 / INMOS Occam test suite,
Koehne Kai
- Process Placement in Occam 2.1,
Koehne Kai
- Dusty TRAMs sought,
tjoccam
- Elegant ending of processes,
Neil Brown
- WoTUG Website: All Change??,
Ruth Ivimey-Cook
- CPA2005 Papers Database Entries,
Ruth Ivimey-Cook
- Need for Article "The laws of Occam programming",
Koehne Kai
- JCSP Assistance ?,
Ruth Ivimey-Cook
- JCSP Advice anyone?,
Ruth Ivimey-Cook
- commstime not scaling,
Alan Grover
- RE: A Hardware Question,
Eric Verhulst \(OLS\)
- JMLC 2006, Oxford,
Ian East
- C. A. R. Hoares influence at MS-Research?,
Bernhard Sputh
- Benefits of CSP Based Programming Languages,
william . luitje
- AW: amsterdam compiler kit,
Koehne Kai
- amsterdam compiler kit,
Allan McInnes
- SystemC as concurrent process language,
Campbell, John
- OO vs. CSP - Papers, Arguments?,
Koehne Kai
- Re: OO vs. CSP - Papers, Arguments?,
Allan McInnes
- RE: OO vs. CSP - Papers, Arguments?,
Eric Verhulst \(OLS\)
- RE: OO vs. CSP - Papers, Arguments?,
Andrzej Lewandowski
- Re: OO vs. CSP - Papers, Arguments?,
F.R.M.Barnes
- <Possible follow-ups>
- RE: OO vs. CSP - Papers, Arguments?,
Tony Gore
- RE: OO vs. CSP - Papers, Arguments?,
neil
- RE: OO vs. CSP - Papers, Arguments?,
Campbell, John
- RE: OO vs. CSP - Papers, Arguments?,
neil
- RE: OO vs. CSP - Papers, Arguments?,
Kerridge, Jon
- RE: OO vs. CSP - Papers, Arguments?,
Koehne Kai
- Stackless Python,
neil
- For CPA authors especially: Call for CPA2005 CD-ROM Contents,
Ruth Ivimey-Cook
- Flow based programming,
Tom Locke
- CPA 2005 - last call & the Fringe,
P.H.Welch
- Call for Delegates Communicating Process Architectures 2005 at Eindhoven,
Herman Roebbers
- KRoC development mailing list,
Fred Barnes
- Job Advert: contractor with .NET and CSP experience,
Ruth Ivimey-Cook
- CSP for Java Programmers,
Allan McInnes
- Cell processor,
neil
- Cell specs opened up,
Neil Brown
- Optimisation algorithms,
Ruth Ivimey-Cook
- RE: RE: STREP FP6 proposal,
Ruth Ivimey-Cook
- .NET/Threads help request,
Ruth Ivimey-Cook
- Bigraphical Programming Languages (BPL),
Tom Locke
- CELL processors again...,
Ruth Ivimey-Cook
- lightweight coroutines in C (take 2),
Allan McInnes
- [no subject],
Allan McInnes
- CfP Communicating Process Architectures 2005,
Herman Roebbers
- RE: CELL processors considered interesting?,
Eric Verhulst OLS
- Working with CSP and Java,
Kinika Tasie-Amadi
- Wotug.org popularity on the increase!,
Ruth Ivimey-Cook
- BibTeX Updates on wotug.org,
Ruth Ivimey-Cook
- Change of email address,
IanPage99
- PhD studentships available,
Alastair Allen
- [announce] KRoC/Linux 1.3.3 released!,
Fred Barnes
- IMS D100 file format question,
Denis A Nicole
- CPA 2004 programme and registration,
P.H.Welch
- Re: The future of SPoC,
A E Lawrence
- CPA 2004 Registration,
Ian East
- More examples of how not to do things,
A E Lawrence
- Fold Presentation Manager (was RE: Printing occam),
Philippe Lemaire
- Printing occam,
Philippe Lemaire
- CPA 2004 Call for Papers,
Ian East
- Wotug.org site down W/E 14/15 Feb for Maintenance,
Ruth Ivimey-Cook
- imsc011p-20s link adapter (fwd),
Ruth Ivimey-Cook
- Minutes of AGMs available,
Ruth Ivimey-Cook
- Re: Sun JSR 166 - Concurrency Utilities,
P.H.Welch
- RE: Massively parallel FPGA systems,
Tony Gore
- Teaching Formal Methods Workshop,
Ian East
- Chess in occam?,
A E Lawrence
- Perception of WoTUG and occam and transputers,
Ruth Ivimey-Cook
- CSPP preprint,
A E Lawrence
- CPA-2003 Tutorial on CSP available.,
A E Lawrence
- RE: Missing characters in CPA-2003 paper,
Broenink, J.F.
- New updates on paper db for WoTUG,
Ruth Ivimey-Cook
- Why Events Are A Bad Idea (for High-concurrency Servers),
Beton, Richard
- occam-com Web Archives. Test list available.,
Ruth Ivimey-Cook
- CPA2003: Are CD-ROMs of Papers wanted? Replies needed!,
Ruth Ivimey-Cook
- Notice: Ruth's SourceForge Debut,
Ruth Ivimey-Cook
- 2nd Call for Papers CPA conference, 7-10 Sept, Enschede Netherlan ds; Poster Available,
Broenink, J.F.
- Hamid's reaction on Website blues... fixed,
marcel . boosten
- Website blues... fixed,
Ruth Ivimey-Cook
- CACM - "Computation beyond Turing Machines",
ianeast
- CSP book on-line,
P.H.Welch
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Nehterlands,
CPA2003
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Netherlands,
Broenink, J.F.
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Nehterlands,
Broenink, J.F.
- Paper about (T)ALT on top of FSM machine? (2),
oyvind . teig
- Paper about (T)ALT on top of FSM machine?,
oyvind . teig
- the semantics of deckchairs,
Jim Davies
- csp as database query language,
Campbell, John
- Polling sockets - home-made ALT,
Beton, Richard
- ICoTec,
marcel . boosten
- Why to interrupt blocked socket? - Re: No message for 6 months,
Shengru Tu
- No message for 6 months,
Philippe Lemaire
- Re: No message for 6 months,
A E Lawrence
- Re: No message for 6 months,
Denis A Nicole
- Re: No message for 6 months,
Lawrence Dickson
- Re: No message for 6 months,
Beton, Richard
- <Possible follow-ups>
- Re: No message for 6 months,
oyvind . teig
- Re: No message for 6 months,
ianeast
- Re: No message for 6 months,
P.H.Welch
- Re: No message for 6 months,
P.H.Welch
- Re: No message for 6 months,
ianeast
- RE: No message for 6 months,
Campbell, John
- Re: No message for 6 months,
ianeast
- RE: No message for 6 months,
ianeast
- Re: No message for 6 months,
P.H.Welch
- CSP fonts,
ianeast
- Paper database improved again :-),
Ruth Ivimey-Cook
- Does anyone recognise this?,
A E Lawrence
- Paper database improved and online,
Ruth Ivimey-Cook
- Kristen Nygard - RIP,
Øyvind Teig
- Reg Headlines Friday August 9,
Paul Walker
- CPA 2002 REGISTRATION,
James Pascoe
- occam MUST be on the list of 356 languages!,
Øyvind Teig
- CPA-2002 programme,
P.H.Welch
- Royal Holloway RA Position,
Helen Treharne
- Job at ARM?,
Ruth Ivimey-Cook
- New Book list on the web site,
Ruth Ivimey-Cook
- CPA 2002 DEADLINE APPROACHING,
James Pascoe
- CPA 2002 DATE REMINDER,
James Pascoe
- CPA-2002, IEE and BCS,
James Pascoe
- WoTUG Web site news,
Ruth Ivimey-Cook
- CSA transputer boards? and a Meiko available...,
Dyke Stiles
- Julian Wilson's email address,
Øyvind Teig
- JCSP Network Edition,
Jim
- RE: JCSP Network Edition ...,
P.H.Welch
- Parallel Computing and the Computer Science Curriculum,
P.H.Welch
- Re: News from a MS researcher,
P.H.Welch
- RE: JCSP Network Edition now available from Quickstone Technologi es Limited.,
Lewandowski, Andrzej
- JCSP Network Edition now available from Quickstone Technologies Limited.,
Jim
- CPA LEAFLETS,
James Pascoe
- CPA 2002 LEAFLETS,
James Pascoe
- WoTUG WEB SITE AFFILIATIONS,
James Pascoe
- CSP in fault tolerance?,
Dyke Stiles
- Wanted - Hoare's Essays in Computing Science,
ianeast
- Wait-free Synchronization, RTLinux and CSP,
A E Lawrence
- Process Inheritance and Reuse. Event inheritance too?,
Gordon Hutchison
- OO&CSP,
Gordon Hutchison
- Emperor's new clothes - ACM followup.,
Dyke Stiles
- Re: JCSP and realtime java processors.,
P.H.Welch
- Priority modeling with CSP?,
G.S.Stiles
- Re: Java IDE?,
P.H.Welch
- HPC in CSA,
P.H.Welch
- Structure?,
p0072370
- Re: CSP/JCSP Tutorial at PDPTA 2001,
P.H.Welch
- Another Helping of CPA ?,
James Pascoe
- CSP and Isolates,
P.H.Welch
- CSP, JMM and better processor architectures,
P.H.Welch
- CSP and the middle ground,
P.H.Welch
- Seen 'through a glass darkly',
oyvind . teig
- Bigraphical Reactive Systems,
A E Lawrence
- Model-View in CSP,
marcel . boosten
- Mobile interaction and graphs,
A E Lawrence
- Objects, processes, and encapsulation,
ianeast
- <Possible follow-ups>
- Re: Objects, processes, and encapsulation,
P.H.Welch
- Re: Objects, processes, and encapsulation,
p0072370
- Re: Objects, processes, and encapsulation,
marcel . boosten
- RE: Objects, processes, and encapsulation,
Hilderink, G.H.
- Re: Objects, processes, and encapsulation,
ianeast
- Re: Objects, processes, and encapsulation,
marcel . boosten
- Re: Objects, processes, and encapsulation,
johan . sunter
- Re: Objects, processes, and encapsulation,
ianeast
- RE: Objects, processes, and encapsulation,
Hilderink, G.H.
- RE: Objects, processes, and encapsulation,
oyvind . teig
- RE: Objects, processes, and encapsulation,
Hilderink, G.H.
- Re: Objects, processes, and encapsulation,
marcel . boosten
- RE: Objects, processes, and encapsulation,
oyvind . teig
- Objects, processes, and encapsulation,
ianeast
- RE: Objects, processes, and encapsulation,
ianeast
- RE: Objects, processes, and encapsulation,
oyvind . teig
- RE: Objects, processes, and encapsulation,
ianeast
- Re: Objects, processes, and encapsulation,
P.H.Welch
- Re: Objects, processes, and encapsulation,
p0072370
- Re: Objects, processes, and encapsulation,
p0072370
- Re: Objects, processes, and encapsulation,
P.H.Welch
- Re: Objects, processes, and encapsulation,
p0072370
- Re: Objects, processes, and encapsulation,
oyvind . teig
- Re: Objects, processes, and encapsulation,
P.H.Welch
- Re: Objects, processes, and encapsulation,
IanPage99
- RE: Objects, processes, and encapsulation,
P.H.Welch
- RE: Objects, processes, and encapsulation,
ianeast
- Re: Objects, processes, and encapsulation,
IanPage99
- RE: Objects, processes, and encapsulation,
johan . sunter
- Re: Skeletons,
p0072370
- Thanks ...,
P.H.Welch
- CPA: Where to publish?,
ianeast
- "Fringe" papers...,
Alan Chalmers
- Please don't add old mail context all the time,
oyvind . teig
- Concurrency, Exceptions and Poison,
P . H . Welch
- CSP Mailinglist Problems,
marcel . boosten
- Re: The future of CSP? Fault tolerant implementations?,
G. S. Stiles
- UML and concurrency: how to get started?,
Jeremy Martin
- Re: The future of CSP? (OO & CSP),
G. S. Stiles
- Occam compiler using gcc,
Ruth Ivimey-Cook
- [no subject],
M_Boosten
- Philosophy,
M_Boosten
- CPA-2001 Call for Delegates,
P . H . Welch
- TPAR,
M_Boosten
- Poison,
M_Boosten
- <Possible follow-ups>
- Re: Poison,
P . H . Welch
- Re: Poison,
M_Boosten
- Re: Poison,
P . H . Welch
- Re: Poison,
M_Boosten
- Re: Poison,
P . H . Welch
- Re: Poison,
P . H . Welch
- RE: Poison,
Campbell, John
- Re: Poison,
M_Boosten
- FW: Poison,
Gerald Hilderink
- RE: Poison,
Campbell, John
- Re: Poison,
Beton, Richard
- RE: Poison,
Campbell, John
- RE: Poison,
Campbell, John
- Re: Poison,
M_Boosten
- Re: Poison,
P . H . Welch
- Re: Poison,
M_Boosten
- Re: Poison,
P . H . Welch
- Re: Poison,
oyvind . teig
- Re: Poison,
M_Boosten
- Re: Poison,
M_Boosten
- Re: Poison,
P . H . Welch
- RE: Poison,
P . H . Welch
- Re: Poison,
P . H . Welch
- Re: Poison,
ianeast
- RE: Poison,
Gerald Hilderink
- Brinch Hansen's frustration,
oyvind . teig
- JEdit - a Java folding editor,
Richard Beton
- Forwarding request ...,
P . H . Welch
- occam: "inability to encapsulate objects"(?),
oyvind . teig
- Micron...,
Dyke Stiles
- Comms warm a bit to reconfigurable processor,
G. S. Stiles
- CPA 2001 (WoTUG-24),
P.H.Welch
- CPA session at PDTPA'2001,
P.H.Welch
- PDTPA 2001 etc,
P.H.Welch
- Folding editors,
jm40
- Re: Real-time Java?,
P.H.Welch
- a few questions,
Gerald H. Hilderink
- ST-20,
Gerald H. Hilderink
- Looking forward to the transputer,
Paul Walker
- Re: Experience with JCSP/CTJ/FDR,
Dyke Stiles
- transputers in TV set-top boxes,
Gerald H. Hilderink
- RE: Java Live | January 9, 2001,
Lawrence Dickson
- SPoC ports,
oyvind . teig
- RE: SHARCs,
O'Neill, Brian
- Ripple: A Folding Editor,
Tom Locke
- RE: New language syntax,
Tony
- Software fault forces Ford recall,
Richard Beton
- imitation hi-pri occam tool?,
Lawrence Dickson
- Inferno applets,
Paul Walker
- RE: Mobile Processes (was 'Slides from my talk at CPA2000'),
Tom Locke
- Re: Bibliographies,
A E Lawrence
- (now completed) Slides from my talk at CPA2000,
Tom Locke
- ComsTime,
Gerald H. Hilderink
- CommsTime times?,
Dyke Stiles
- <Possible follow-ups>
- Re: CommsTime times?,
D.C.Wood
- Re: CommsTime times?,
Oyvind Teig
- CommsTime times?,
Oyvind Teig
- Re: CommsTime times?,
P.H.Welch
- Re: CommsTime times?,
P.H.Welch
- Re: CommsTime times?,
P.H.Welch
- RE: CommsTime times?,
P.H.Welch
- RE: CommsTime times?,
O'Neill, Brian
- Re: CommsTime times?,
P.H.Welch
- [Fwd: Beatles songs for the 21st Century],
Richard Beton
- PRI PAR and PAR PRI in hardware,
A E Lawrence
- Micro$lime at work?,
A E Lawrence
- Merging revisited,
A E Lawrence
- A "CJT" in python,
A E Lawrence
- Provably correct OS?,
Dyke Stiles
- Re. Budgets, etc.,
P.H.Welch
- Inheritance that can add/remove and new occam?,
Oyvind Teig
- Re: Inheritance that can add/remove and new occam?,
Nayef Baker
- Re: Inheritance that can add/remove and new occam?,
A E Lawrence
- <Possible follow-ups>
- Re: Inheritance that can add/remove and new occam?,
M_Boosten
- RE: Inheritance that can add/remove and new occam?,
Philippe Lemaire
- RE: Inheritance that can add/remove and new occam?,
Lawrence Dickson
- Re: Inheritance that can add/remove and new occam?,
Oyvind Teig
- Re: Inheritance that can add/remove and new occam?,
M_Boosten
- RE: Inheritance that can add/remove and new occam?,
O'Neill, Brian
- RE: Inheritance that can add/remove and new occam?,
Oyvind Teig
- RE: Inheritance that can add/remove and new occam?,
Lawrence Dickson
- Data Sharing Problem,
M_Boosten
- RE: Quixotic thought #57: Software salvation via JCSP,
Campbell, John
- RE: OO and CSP (and real-time requirements),
Campbell, John
- PCMIA Transputer cards??,
P.H.Welch
- ABCD at DSSE, Southampton,
Richard Beton
- Re: Blackhole mailing list issues,
A E Lawrence
- Observer Pattern,
Tom Locke
- Transactions,
Tom Locke
- Mailing list issues,
Tom Locke
- Aliasing and Garbage Collection,
Tom Locke
- New TextPad syntax definitions file for occam,
Richard Beton
- OO and CSP,
Campbell, John
- The razor,
A E Lawrence
- Hi (joining list),
Test
- [Fwd: Priority revisited: a new primitive],
A E Lawrence
- Protocol design, Handel-C and Hierarchical State Machines,
Oyvind Teig
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.,
O'Neill, Brian
- Re: For the love of CSP ...,
Lawrence Dickson
- Re: A path for CSP-based,
A E Lawrence
- Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
B.M. Cook
- <Possible follow-ups>
- Re: Priority revisited: a new primitive,
B.M. Cook
- Re: Priority revisited: a new primitive,
p0072370
- RE: Priority revisited: a new primitive,
Gerald Hilderink
- Re: Priority revisited: a new primitive,
p0072370
- Re: Priority revisited: a new primitive,
Lawrence Dickson
- Re: Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
p0072370
- Re: Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
M_Boosten
- Re: Priority revisited: a new primitive,
A E Lawrence
- RE: Priority revisited: a new primitive,
M_Boosten
- Re: Priority revisited: a new primitive,
A E Lawrence
- Re: Priority revisited: a new primitive,
p0072370
- PhD Studentship,
Alastair Allen
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.,
Lawrence Dickson
- RE: A path for CSP-based Solutions towards HUGE Industrial Succes s.,
O'Neill, Brian
- A path for CSP-based Solutions towards HUGE Industrial Success.,
M_Boosten
- Re: CSP, usability, profit, Java, etc.,
M_Boosten
- RE: CSP-OZ Backtracking.,
Campbell, John
- Making CSP into a success,
M_Boosten
- Metastability,
O'Neill, Brian
- Unclocked logic / delay insensitive circuits,
M_Boosten
- pi-calculus,
Richard Beton
- rewriting CSP processes,
Campbell, John
- Re: rewriting CSP processes,
B.M. Cook
- Re: rewriting CSP processes,
Michael Goldsmith
- Re: rewriting CSP processes,
A E Lawrence
- <Possible follow-ups>
- RE: rewriting CSP processes,
Campbell, John
- RE: rewriting CSP processes,
Campbell, John
- Re: rewriting CSP processes,
B.M. Cook
- Re: rewriting CSP processes,
Lawrence Dickson
- RE: rewriting CSP processes,
O'Neill, Brian
- Re: rewriting CSP processes,
A E Lawrence
- Database transactions, a Higher-level primitive in CSP?,
M_Boosten
- CSP and LL-CSP,
M_Boosten
- Synchronous Communication = Swap,
M_Boosten
- TCPP and IPDPS,
Nan C Schaller
- Action language semantics,
Oyvind Teig
- "No aliasing = no garbage collection",
Oyvind Teig
- <Possible follow-ups>
- Re: "No aliasing = no garbage collection",
M_Boosten
- Re: "No aliasing = no garbage collection",
P.H.Welch
- Re: "No aliasing = no garbage collection",
Lawrence Dickson
- Re: "No aliasing = no garbage collection",
P.H.Welch
- Re: "No aliasing = no garbage collection",
P.H.Welch
- Re: "No aliasing = no garbage collection",
Lawrence Dickson
- Re: "No aliasing = no garbage collection",
Oyvind Teig
- Re: "No aliasing = no garbage collection",
Oyvind Teig
- Re: "No aliasing = no garbage collection",
Lawrence Dickson
- Re: "No aliasing = no garbage collection",
Oyvind Teig
- The future of embedded systems...,
Alastair Allen
- NEW CTJ 0.9 rev. 17,
Gerald H. Hilderink
- New JCSP release,
P.H.Welch
- Timed CSP,
Oyvind Teig
- CPA-2000 papers & timetable,
P.H.Welch
- Re: ALTs on inputs and outputs,
P.H.Welch
- Communicating Process Architectures 2000,
P.H.Welch
- Formal Java?,
Dyke Stiles
- KRoC version 1.2.3 for Linux released,
Frederick Barnes
- Safer multitasking with CSP,
Oyvind Teig
- Final Call for Papers : CPA-2000,
P.H.Welch
- Final Call For Participation: Las Vegas, June 26-29, PDPTA + etc.,
P.H.Welch
- occam: out ! 0 :: "" semantics,
Oyvind Teig
- Enschede,
A E Lawrence
- New KRoC/Linux release (1.2.2),
P.H.Welch
- Re: ALTing select mechanism implementation,
P.H.Welch
- A floating world,
Oyvind Teig
- CSP, Z and Java: thesis,
A E Lawrence
- CriticalSection in VisaulC++ in C,
Oyvind Teig
- INMOS B011,
Martin Paul F (SEC)
- Inmos C Toolset,
Richard Beton
- Kroc for Win98/WinNT?,
Richard Beton
- Re: PAR SKIP or PAR PAR SKIP?,
johan . sunter
- PAR SKIP or PAR SKIP SKIP ?,
Oyvind Teig
- The dangers of priority inheritance,
Oyvind Teig
- Priority inversion and CSP channels?,
Oyvind Teig
- Self-deadlock,
Oyvind Teig
- CSP & Object orientation,
Oyvind Teig
- CFP: Reliable Distributed Systems,
G. S. Stiles
- Communicating Process Architectures - 2000 (WoTUG-23),
P.H.Welch
- UML Point/Counterpoint: Mellor vs. Selic,
Oyvind Teig
- WoTUG name and conferences,
P.H.Welch
- Name Change for WoTUG?,
Oyvind Teig
- Next WoTUG conference (the 23rd.),
P.H.Welch
- Loosing abstraction due to non-alting channels,
M_Boosten
- RE: x2AnyChannels do not allow alting,
P.H.Welch
- Priorities of the ALT and PRIALT are under the presence of the PRIPAR,
Gerald Hilderink
- occam 2.1 / 2.5 definition,
B.M. Cook
- [Fwd: [rtl] What kind of sharing is intended/supported for rtfifos?]],
A E Lawrence
- SpaceWire meeting,
Paul Walker
- Book announcement,
P.H.Welch
- Meiko glitches...,
Dyke Stiles
- WoTUG-23 Final CFP,
P.H.Welch
- Abbreviation of arrays, scope.,
Lee Benfield
- Computer Weekly - 25th Nov 99,
Richard Beton
- RE: WoTUG renaming,
Ian East
- RE: WoTUG,
Hilderink, G.H.
- Parallel Concurrency in Real-Time,
Oyvind Teig
- PDPTA'2000 etc.,
P.H.Welch
- JCSP 0.94 release,
P.H.Welch
- Re: Can Java be one-upped?,
Lawrence Dickson
- transputer class,
Lawrence Dickson
- CSP library for VxWorks/Posix,
Oyvind Teig
- IDL as common interface,
Oyvind Teig
- Web archive,
P.H.Welch
- Priority Ceiling Protocol totally eliminates deadlock,
Oyvind Teig
- Disable interrupts in critical sections?,
Oyvind Teig
- Finishing off the proof of JCSP,
Jeremy Martin
- other CALL channel,
Gerald Hilderink
- CALL Channels in Java,
Hilderink, G.H.
- AN APPEAL TO COMMON SENSE,
Per Brinch Hansen
- [Fwd: Mobile variables],
A E Lawrence
- Channels versus Methods,
P.H.Welch
- Re:FYI- JProbe Threadalyzer,
P.H.Welch
- Mobile variables,
Adrian Lawrence
- Copy of Article!,
valjr
- CSP and Petri nets?,
dyke
- Folding editor,
Oyvind Teig
- Re: You must read this (20 May 99),
P.H.Welch
- PARALLEL RECURSION,
Per Brinch Hansen
- OCCAM, JOYCE, SUPERPASCAL AND JAVA,
Per Brinch Hansen
- <Possible follow-ups>
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA,
P.H.Welch
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA,
P.H.Welch
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA,
Lawrence Dickson
- Re: OCCAM, JOYCE, SUPERPASCAL AND JAVA,
P.H.Welch
- OUG Newsletters,
Ian East
- You must read this,
B.M. Cook
- Re: CSP for OS?,
Richard Beton
- perfect fit?,
Lawrence Dickson
- CSP for hardware design,
Campbell, John
- Occam TIMERs - was Dynamic Priority,
Roger Peel
- Dynamic composition constructs,
Gerald Hilderink
- Re design & checking tools,
p0072370
- Yet another Java concurrency book?,
p0072370
- Dynamic Priority,
Adrian Lawrence
- <Possible follow-ups>
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Gerald Hilderink
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Dynamic Priority,
Adrian Lawrence
- Is PRI PAR useful for hardware?,
Adrian Lawrence
- New Book: CONCURRENCY,
Oyvind Teig
- Conflicting Priorities in CSPP,
Adrian Lawrence
- GNU EDA,
Adrian Lawrence
- freehdl,
Adrian Lawrence
- F-CPU URL,
Adrian Lawrence
- Formal Techniques for Java,
Adrian Lawrence
- opendesign,
Adrian Lawrence
- SIMPL,
Adrian Lawrence
- CSPP - dressed semantics.,
Adrian Lawrence
- Yahoo,
Rick Beton
- Alpha EV8,
J.Moores
- A CSP model for Java threads,
P.H.Welch
- Re: A CSP model for Java threads,
Rick Beton
- Re: A CSP model for Java threads,
Jeremy Martin
- Re: A CSP model for Java threads,
Jeremy Martin
- <Possible follow-ups>
- Re: A CSP model for Java threads,
Jeremy Martin
- Re: A CSP model for Java threads,
P . H . Welch
- Re: A CSP model for Java threads,
P . H . Welch
- Re: A CSP model for Java threads,
P . H . Welch
- Re: A CSP model for Java threads,
P.H.Welch
- Re: A CSP model for Java threads,
P.H.Welch
- Re: A CSP model for Java threads,
Bryan Scattergood
- Re: A CSP model for Java threads,
Jeremy Martin
- Re: A CSP model for Java threads,
Lawrence Dickson
- Great and usefule...,
Gerald Hilderink
- It was a stressing weekend!,
Gerald Hilderink
- Something for the weekend ...,
P . H . Welch
- RA and PhD student wanted,
Jon Kerridge
- Balking and JVM 1.2 vs. 1.1.5,
Oyvind Teig
- Priority in SPoC,
Adrian Lawrence
- 22K of postscript: Interrupt operator of CSPP,
Adrian Lawrence
- Re: Priorities in SPoC,
Denis A Nicole
- 28K of postscript: Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
P.H.Welch
- <Possible follow-ups>
- Re: Conflicting Priorities in occam,
B.M. Cook
- Re[2]: Conflicting Priorities in occam,
james_wolffe
- Re: Conflicting Priorities in occam,
Lawrence Dickson
- Re: Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
Oyvind Teig
- Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
Lawrence Dickson
- Conflicting Priorities in occam,
A E Lawrence
- Re: Conflicting Priorities in occam,
A E Lawrence
- Re: Conflicting Priorities in occam,
P.H.Welch
- Re: Conflicting Priorities in occam,
P.H.Welch
- Re: Conflicting Priorities in occam,
P.H.Welch
- Re: Conflicting Priorities in occam,
P.H.Welch
- Conflicting Priorities in occam,
Adrian Lawrence
- Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
james_wolffe
- Conflicting Priorities in occam,
A E Lawrence
- Conflicting Priorities in occam,
Adrian Lawrence
- Conflicting Priorities in occam,
Adrian Lawrence
- Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
Adrian Lawrence
- Conflicting Priorities in occam,
Adrian Lawrence
- Re: Conflicting Priorities in occam,
Adrian Lawrence
- KRoC (occam) for Linux released ...,
P . H . Welch
- WoTUG-22 "occam to Java bytecode working group" ??,
Oyvind Teig
- Invention of threads,
John Wexler
- Re: Pre-emptive multithreading covered by patents?,
B.M. Cook
- Re[2]: Too good to be true: Re: Asynchronous Exceptions in Java ...,
P . H . Welch
- Re[2]: Too good to be true: Re: Asynchronous Exceptions in J,
james_wolffe
- Re: Too good to be true: Re: Asynchronous Exceptions in Java,
Ian Page
- occam and inheritance and delegation,
Oyvind Teig
- ARCH Library,
james_wolffe
- FYI...,
G. S. Stiles
- design by contract,
Lawrence Dickson
- Extreme decomposition questionable?,
dyke
- Re: MALT: A Multiway Alternation,
Adrian Lawrence
- new CJT library 0.9 revision 8.,
Gerald H. Hilderink
- KROC & occam on Linux,
Dave Beckett
- Complexity change in top-down design,
Øyvind Teig
- JCSP (JavaPP) library now available,
phw
- JavaSpaces...,
Paddy Nixon
- unsubscribe,
Karsten Schmidt
- Formal Underpinnings of Java (fwd),
Adrian Lawrence
- occam OPUS,
Oyvind Teig
- Composition, temporal logic and CSP.,
Adrian Lawrence
- Temporal logic and compositional reasoning.,
Adrian Lawrence
- Pi-Calculus vs. CSP,
Rick van Rein
- Re: Occam vs. monitors,
Oyvind Teig
- Re: Occam vs. monitor,
phw
- Lamport and toy languages,
Adrian Lawrence
- Toy languages,
Adrian Lawrence
- Re: Re. Lamport / Composition,
Adrian Lawrence
- Re: New Swing Library (JFC),
phw
- T225 availabality ?,
Philippe LEMAIRE
- Transputer resuscitated?,
Ian East
- Is there some news about (multiple) SHARCs occam implementation ?,
Philippe LEMAIRE
- occam for ARM,
Ian East
- SDL and occam,
Richard Beton
- 1394 bug and formal methods,
Paul Walker
- RE; routing device,
O'Neill, Brian
- Oh, Java!,
phw
- The Laws of "object" programming,
Paddy Nixon
- EuroPar'97 - see http://brahms.fmi.uni-passau.de/cl/europar97/,
Richard Beton
- Deadlock free routing (2),
Øyvind Teig
- Paradigms,
Paul Walker
- Deadlock free routing,
Øyvind Teig
- Re: General Questions!,
Valdivino Alexandre de Santiago Junior
- Re: Limbo - Java + CSP?,
Mark Ian Barlow
- JavaPP ALTing with timers,
phw
- JavaPP -- ALTing with timeout and SKIP guards,
phw
- Re: Minutes of a meeting with Fujitsu,
Alexander Anderson
- Java CSP classlib? where?,
Mark Ian Barlow
- Re. March IEEE Computer Diatribe on Java,
phw
- March IEEE Computer Diatribe on Java,
Paul Walker
- http://rt.el.utwente.nl/wotug20,
Andre Bakkers
- Final call for participation Parallel Programming and Java conference 13-16 April '97,
Andre Bakkers
- VESA Home Networks "RFI",
Paul Walker
- CHAN variants,
Adrian Lawrence
- email address change,
James Wolffe
- PPRAM Consortium Foundation and role of 1355,
Kazuto . MATSUI
- Inheritance and active objects,
phw
- Distributed shared channels (via SEMAPHOREs),
phw
- Re: VCP,
info@xxxxxxxxx
- occam wish list,
Mark Ian Barlow
- None,
Brian Martin
- Re. new process synchronisation primitives ...,
phw
- Re: Occam and WoTUG-20,
Richard Beton
- T9000,
Alan Chalmers
- Re: (fwd) T9000 News (fwd),
B.M. Cook
- new sync primitives,
phw
- SUBSCRIBE,
Mark Ian Barlow
- Multi-CHAN_OF_INT,
Øyvind Teig
- Totally nailed down (probably),
phw
- multi-CHAN_OF_INT ???,
phw
- simplified multi-reader/writer BUFFER_OF_INT.java,
phw
- Java & Win95,
Øyvind Teig
- Occam channel based on polling techniques !,
Gerald Hilderink
- Java -- learning from occam3,
phw
- Musings on occam and Java,
phw
- Java/occam,
Dyke Stiles
- Re. Java solution of checking suspended threads !,
phw
- Java and occam,
Paddy Nixon
- Occam article in EDN,
Øyvind Teig
- ComsTime with full PAR in Delta,
Øyvind Teig
- Java solution of checking suspended threads !,
Gerald Hilderink
- Java technical question?,
phw
- Java threads and occam processes,
phw
- Java threads and ComsTime,
phw
- ComsTime in Java - report to Sun?,
Øyvind Teig
- Java and Charles L.Perkins,
Øyvind Teig
- Java Threads (erratum),
phw
- Java Threads (Workshop),
phw
- Re. Rick's musings,
phw
- Re: Rick's musings on modifications to occam,
Ruth Ann Ivimey-Cook
- SPOC official e-mail address,
Øyvind Teig
- Testing,
Øyvind Teig
- Greetings,
phw
- Catch-up,
phw
Mail converted by MHonArc