Occam Mailing List 2003 By Subject
| 145 Messages |
| Starting: | 2003-03-05 08:32:10 |
Ending: | 2003-10-21 00:18:11 |
- 2nd Call for Papers CPA conference, 7-10 Sept, Enschede Netherlan ds; Poster Available
- CACM - "Computation beyond Turing Machines"
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Nehterlands
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Ensche de, Netherlands
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Nehterlands
- Call for Papers for CPA 2003 workshop on 7-10 sept 2003 in Enschede, Netherlands
- Chess in occam?
- Complexity Control vs. High Quality
- CPA 2003
- CPA-2003 Tutorial on CSP available.
- CPA2003 call for participation
- csp as database query language
- CSP book on-line
- CSP Technology Slides
- CSPP preprint
- Doing Hard Real-Time
- Doing Hard Real-Time...
- Hamid's reaction on Website blues... fixed
- ICoTec
- INPUT NEEDED: CSP for Hard Real-Time
- Introducing Spin.
- Massively parallel FPGA systems
- Minutes of AGMs available
- Missing characters in CPA-2003 paper
- MORE INPUT NEEDED: CSP for Hard Real-Time
- MPP chips
- New updates on paper db for WoTUG
- No message for 6 months
- occam-com Web Archives. Test list available.
- Paper about (T)ALT on top of FSM machine?
- Paper about (T)ALT on top of FSM machine? (2)
- Paper about (T)ALT on top of FSM machine? (3)
- Perception of WoTUG and occam and transputers
- Polling sockets - home-made ALT
- Radical stuff.
- Sun JSR 166 - Concurrency Utilities
- Teaching Formal Methods Workshop
- Thanks!
- the semantics of deckchairs
- Upcoming CPA2003
- Website blues... fixed
- Why Events Are A Bad Idea (for High-concurrency Servers)
This archive was generated by hypermail 2.1.7 on 2004-11-01 18:03:25 GMT
© Copyright WoTUG
All rights reserved
|