Occam Mailing List By Subject
| 1395 Messages |
| Starting: | 1998-10-06 09:00:07 |
Ending: | 2004-10-31 20:06:25 |
- "Fringe" papers...
- "No aliasing = no garbage collection"
- "Non-preemptive Occam in DSP RT system"
- (no subject)
- (now completed) Slides from my talk at CPA2000
- 1394 bug and formal methods
- 22K of postscript: Interrupt operator of CSPP
- 28K of postscript: Conflicting Priorities in occam
- 2nd Call for Papers CPA conference, 7-10 Sept, Enschede Netherlan ds; Poster Available
- [announce] KRoC/Linux 1.3.3 released!
- [Fwd: [rtl] What kind of sharing is intended/supported for rtfifos?]]
- [Fwd: Beatles songs for the 21st Century]
- [Fwd: Priority revisited: a new primitive]
- A "CJT" in python
- A CSP model for Java threads
- A CSP model for Java threads - a subtle point
- a few questions
- A floating world
- A path for CSP-based
- A path for CSP-based Solutions towards HUGE Industrial Succes s.
- A path for CSP-based Solutions towards HUGE Industrial Success.
- a web-based / occam-based text adventure
- Abbreviation of arrays, scope.
- ABCD at DSSE, Southampton
- Action language semantics
- AF-PNNI-SIG-TM: AF-SIG, AF-PNNI, AF-TM 97-0261: Multipoint-to-point VCs
- Aliasing and Garbage Collection
- Alpha EV8
- ALTing select mechanism implementation
- ALTs on inputs and outputs
- AN APPEAL TO COMMON SENSE
- Another Helping of CPA ?
- Apology to Dr. Miura
- ARCH Library
- Asynchronous Exceptions in J
- Asynchronous Exceptions in Java
- Asynchronous Exceptions in Java ...
- Bibliographies
- Bigraphical Reactive Systems
- Blackhole mailing list issues
- Book announcement
- Brinch Hansen's frustration
- CACM - "Computation beyond Turing Machines"
- CALL Channels in Java
- 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
- Call for papers: PDPTA 2002
- Can Java be one-upped?
- CHAN variants
- Change of email address
- Channels versus Methods
- Chess in occam?
- Commercial backing? No way!
- Comms warm a bit to reconfigurable processor
- CommsTime times?
- Communicating Process Architectures 2000
- Complexity change in top-down design
- Complexity Control vs. High Quality
- Complexity Management is the Future for CSP
- Complexity Management is the Future for CSP etc.
- Complexity Management is the Future of CSP
- Complexity Management: what tools are needed??
- Compliant processes
- Composition not the way to go???
- Composition, temporal logic and CSP.
- Computer Weekly - 25th Nov 99
- ComsTime
- Concurrency, Exceptions and Poison
- Concurrent OO by Meyer
- Conflicting Priorities in CSPP
- Conflicting Priorities in occam
- CPA 2001 (WoTUG-24)
- CPA 2002 DEADLINE APPROACHING
- CPA 2003
- CPA 2004 Brochure
- CPA 2004 Call for Papers
- CPA 2004 programme and registration
- CPA 2004 Registration
- CPA 2004 URL
- CPA 2004 URL, theme, and CFP
- CPA session at PDTPA'2001
- CPA-2001 Call for Delegates
- CPA-2001 is *** SOOOON ***
- CPA-2002, IEE and BCS
- CPA-2003 Tutorial on CSP available.
- CPA2003 call for participation
- CPA2004 Updates to wotug.org
- CPA: Where to publish?
- CriticalSection in VisaulC++ in C
- CSP and Isolates
- CSP and LL-CSP
- CSP and Petri nets?
- CSP and the middle ground
- CSP article
- csp as database query language
- CSP book on-line
- CSP events and synchronization costs?
- CSP fonts
- CSP for hardware design
- CSP for OS?
- CSP in fault tolerance?
- CSP library for VxWorks/Posix
- CSP Mailinglist Problems
- CSP solves Component Software Problems?
- CSP Technology Slides
- CSP, JMM and better processor architectures
- CSP, usability, profit, Java, etc.
- CSP, Z and Java: thesis
- CSP-OZ Backtracking.
- CSP/JCSP Tutorial at PDPTA 2001
- CSPP - dressed semantics.
- CSPP preprint
- CSPP, Acceptances and constraining the event selection/firing mechanism
- CTJ-library version 0.9, revision 10.
- Data Sharing Problem
- Database transactions, a Higher-level primitive in CSP?
- Deadlock free routing
- Deadlock free routing (2)
- design & checking tools
- design by contract
- Disable interrupts in critical sections?
- Does anyone recognise this?
- Doing Hard Real-Time
- Doing Hard Real-Time...
- Dynamic composition constructs
- Dynamic Priority
- Elegance of *To***Channels
- Emperor's new clothes - ACM followup.
- Eric Verhulst on again!
- EuroPar'97
- EuroPar'97 - see http://brahms.fmi.uni-passau.de/cl/europar97/
- events in OO
- events in OO (Pro and Anti UML)
- Experience with JCSP/CTJ/FDR
- Extending_CSP: revised paper available
- Extreme decomposition questionable?
- Extreme decomposition questionable? & Hoare book for sale cheap.
- F-CPU URL
- Faculty openings...
- Final Call for Papers : CPA-2000
- Final call for participation Parallel Programming and Java conference 13-16 April '97
- Final Call For Participation: Las Vegas, June 26-29, PDPTA + etc.
- Finishing off the proof of JCSP
- Folding editor
- Folding editors
- Folding editors etc.
- For the love of CSP ...
- Formal Java?
- Formal Techniques for Java
- Formal Underpinnings of Java (fwd)
- Formal Underpinnings of Java Workshop - Papers.
- Forwarding request ...
- freehdl
- FSP->occam?
- Future of CSP
- Future of CSP?
- Future of CSP? (hardware compilation)
- Future of CSP?: meaning of skip
- FYI- JProbe Threadalyzer
- FYI...
- Geometry of CSP?
- GNU EDA
- Hamid's reaction on Website blues... fixed
- Hi (joining list)
- HPC in CSA
- http://rt.el.utwente.nl/wotug20
- IBM Embedded Systems Seminar: Java
- ICoTec
- IDL as common interface
- IEEE Computer article summary
- imitation hi-pri occam tool?
- IMS D100 file format question
- Inferno applets
- Inheritance that can add/remove and new occam?
- INMOS B011
- Inmos C Toolset
- INPUT NEEDED: CSP for Hard Real-Time
- Introducing Spin.
- Invention of threads
- IOS Press publication
- Is PRI PAR useful for hardware?
- Is there some news about (multiple) SHARCs occam implementation ?
- It was a stressing weekend!
- Java CSP classlib? where?
- Java IDE?
- JavaPP -- ALTing with timeout and SKIP guards
- JavaPP ALTing with timers
- JavaPP: A new link driver for the Internet.
- JavaSpaces...
- JCSP (JavaPP) library now available
- JCSP 0.94 release
- JCSP and realtime java processors.
- JCSP Network Edition
- JCSP Network Edition ...
- JCSP Network Edition now available from Quickstone Technologies Limited.
- JDK 1.1.2 and the Kaffe JVM (0.9.1)
- JEdit - a Java folding editor
- Job openings...
- Julian Wilson's email address
- Kristen Nygard - RIP
- KROC & occam on Linux
- KRoC (occam) for Linux released ...
- Kroc for Win98/WinNT?
- KRoC people: watch your feet!
- KRoC version 1.2.3 for Linux released
- Lamport "The Temporal Logic of Actions"
- Lamport and toy languages
- Limbo - Java + CSP?
- Looking forward to the transputer
- Loosing abstraction due to non-alting channels
- Mailing list issues
- Making CSP into a success
- MALT: A Multiway Alternation
- March IEEE Computer Diatribe on Java
- Massively parallel FPGA systems
- Meiko glitches...
- Merging revisited
- Metastability
- Micro$lime at work?
- Micron...
- Microsoft encouraging personal development...
- Minutes of a meeting with Fujitsu
- Minutes of AGMs available
- Missing characters in CPA-2003 paper
- Mobile interaction and graphs
- Mobile Processes (was 'Slides from my talk at CPA2000')
- Mobile variables
- Model-View in CSP
- More examples of how not to do things
- MORE INPUT NEEDED: CSP for Hard Real-Time
- MPP chips
- Multithreading statements
- Name Change for WoTUG?
- New Book list on the web site
- New Book: CONCURRENCY
- NEW CTJ 0.9 rev. 17
- New JCSP release
- New KRoC/Linux release (1.2.2)
- New language syntax
- New release of our Java-CSP library
- New Swing Library (JFC)
- New TextPad syntax definitions file for occam
- New updates on paper db for WoTUG
- News from a MS researcher
- Next WoTUG conference (the 23rd.)
- Next WoTUG Meeting
- No message for 6 months
- Objects, processes, and encapsulation
- Observer Pattern
- occam (and Java) mentioned in "Hybrid stacks for a lower memory overhead"
- occam 2.1 / 2.5 definition
- occam and inheritance and delegation
- occam and Limbo
- occam and RT kernels
- Occam compiler using gcc
- occam for ARM
- Occam TIMERs - was Dynamic Priority
- occam to .NET intermediate language MSIL
- Occam vs Transputers
- Occam vs. monitor
- Occam vs. monitors
- OCCAM, JOYCE, SUPERPASCAL AND JAVA
- occam-com Web Archives. Test list available.
- occam: "inability to encapsulate objects"(?)
- occam: out ! 0 :: "" semantics
- Oh Java!
- Oh, Java!
- OO and CSP
- OO and CSP (and real-time requirements)
- OO&CSP
- opendesign
- OUG Newsletters
- PADS '99 Conference
- 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)
- Paper database improved again :-)
- Paper database improved and online
- Paper from Cassiano
- Paradigms
- Parallel Computing and the Computer Science Curriculum
- Parallel Concurrency in Real-Time
- PARALLEL RECURSION
- PCMIA Transputer cards??
- PDPTA 99 CFP
- PDPTA'2000 etc.
- PDTPA 2001 etc
- Perception of WoTUG and occam and transputers
- perfect fit?
- PhD Studentship
- PhD studentships available
- Philosophy
- pi-calculus
- Pi-Calculus vs. CSP
- Please don't add old mail context all the time
- please use: brian.martin@ce
- Poison
- Poison (authored by Dyke)
- Poison --> Compliant processes
- Poison --> deeper meaning of priority in CSPP
- Polling sockets - home-made ALT
- Pools in Apache [Was: Aliasing and Garbage Collection]
- Position available
- Pre-emptive multithreading covered by patents?
- PRI PAR and PAR PRI in hardware
- Printing occam
- Printing occam)
- Priorities in SPoC
- Priorities of the ALT and PRIALT are under the presence of the PRIPAR
- Priority in SPoC
- Priority modeling with CSP?
- Priority revisited: a new primitive
- Process Inheritance and Reuse. Event inheritance too?
- Protocol design, Handel-C and Hierarchical State Machines
- Provably correct OS?
- Quixotic thought #57: Software salvation via JCSP
- RA and PhD student wanted
- Radical stuff.
- Re design & checking tools
- Re Tools and commercial technology
- Re. Budgets, etc.
- Re. Lamport / Composition
- Re. March IEEE Computer Diatribe on Java
- RE; routing device
- Real-time Java?
- Reminder WSCG deadline 15.10. Interactive Digital Media, Plzen(P
- Response to VESA Home Networks "RFI"
- Revised IEEE-letter
- Revised IEEE-letter (embedded systems,2)
- rewriting CSP processes
- Ripple: A Folding Editor
- Safer multitasking with CSP
- SDL and occam
- Seen 'through a glass darkly'
- SHARCs
- SIMPL
- Skeletons
- Software fault forces Ford recall
- Something for the weekend ...
- Sorry but...
- Southampton Portable Occam Compiler
- SpaceWire meeting
- Special issue of IEEE Transactions on Software Engineering
- SPOC for PIC
- ST-20
- Steve Scheider's book on TCSP
- StrongArm transputer look-alike
- Structure?
- Structured Programming by Dahl et al.
- Student rates
- Sun JSR 166 - Concurrency Utilities
- SV: Ripple: A Folding Editor
- Synchronous C++
- Synchronous Communication = Swap
- T225 availabality ?
- TCPP and IPDPS
- Teaching Formal Methods Workshop
- Temporal logic and compositional reasoning.
- Thanks ...
- Thanks!
- The future of CSP?
- The future of CSP? (OO & CSP)
- The future of CSP? Fault tolerant implementations?
- The future of embedded systems...
- The future of SPoC
- The Laws of "object" programming
- The razor
- the semantics of deckchairs
- Timed CSP
- To boldly go ...
- Tools and commercial technology
- Toy languages
- TPAR
- Transactions
- Transputer resuscitated?
- Transputers going free...
- transputers in TV set-top boxes
- UML and concurrency: how to get started?
- UML Point/Counterpoint: Mellor vs. Selic
- Unclocked logic / delay insensitive circuits
- Underpinnings page...
- unsuscribe
- Upcoming CPA2003
- VESA Home Networks "RFI"
- Wait-free Synchronization, RTLinux and CSP
- Wanted - Hoare's Essays in Computing Science
- Web archive
- Website archive of this list.
- Website blues... fixed
- Website overheating
- Welcome to occam-com
- Why Events Are A Bad Idea (for High-concurrency Servers)
- WoTUG
- WoTUG 21 - FINAL CALL FOR PAPERS (deadline 16th Jan)
- WoTUG 21: Architectures, Languages and Patterns for Parallel and Distributed Applications - Call for Papers
- WoTUG Authors: Web publishing of WoTUG papers
- WoTUG name and conferences
- WoTUG renaming
- WoTUG WEB SITE AFFILIATIONS
- WoTUG Web site news
- WoTUG-21 Conference
- WoTUG-21, IOS and proceedings in WWW?
- WoTUG-22 "occam to Java bytecode working group" ??
- WoTUG-22: Web pages under construction etc.
- WoTUG22
- WoTUG22 - Call for Papers
- WoTUG22 - new dates
- WoTUG22 CFP
- WoTUG22 Student Discounts
- WoTUG22 web site update
- WSCG conf.,Plzen(Prague,Czech)
- WSCG Conf.-Deadline 30.9.
- x2AnyChannels do not allow alting
- Yahoo
- Yet another Java concurrency book?
- You must read this
- You must read this (20 May 99)
- You must read this: Brinch Hansen Java book
- You must read this: Feeling left out.
This archive was generated by hypermail 2.1.7 on 2004-11-01 18:03:24 GMT
© Copyright WoTUG
All rights reserved
|