occam-com mailing list archive (by thread)
- 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