Occam Mailing List 1998 By Subject
| 96 Messages |
| Starting: | 1998-01-05 12:00:13 |
Ending: | 1998-12-18 11:59:08 |
- "Non-preemptive Occam in DSP RT system"
- (no subject)
- ARCH Library
- Asynchronous Exceptions in J
- Asynchronous Exceptions in Java
- Asynchronous Exceptions in Java ...
- Complexity change in top-down design
- Composition not the way to go???
- Composition, temporal logic and CSP.
- CTJ-library version 0.9, revision 10.
- design by contract
- Extreme decomposition questionable?
- Extreme decomposition questionable? & Hoare book for sale cheap.
- Formal Underpinnings of Java (fwd)
- Formal Underpinnings of Java Workshop - Papers.
- FYI...
- IEEE Computer article summary
- Invention of threads
- IOS Press publication
- Is there some news about (multiple) SHARCs occam implementation ?
- JavaSpaces...
- JCSP (JavaPP) library now available
- KROC & occam on Linux
- Lamport "The Temporal Logic of Actions"
- Lamport and toy languages
- MALT: A Multiway Alternation
- New release of our Java-CSP library
- New Swing Library (JFC)
- occam and inheritance and delegation
- occam and RT kernels
- occam for ARM
- Occam vs. monitor
- Occam vs. monitors
- PADS '99 Conference
- PDPTA 99 CFP
- Pi-Calculus vs. CSP
- please use: brian.martin@ce
- Pre-emptive multithreading covered by patents?
- Re. Lamport / Composition
- Reminder WSCG deadline 15.10. Interactive Digital Media, Plzen(P
- SDL and occam
- Special issue of IEEE Transactions on Software Engineering
- Steve Scheider's book on TCSP
- Synchronous C++
- T225 availabality ?
- Temporal logic and compositional reasoning.
- Toy languages
- Transputer resuscitated?
- Underpinnings page...
- WoTUG 21 - FINAL CALL FOR PAPERS (deadline 16th Jan)
- WoTUG-21 Conference
- WoTUG-22: Web pages under construction etc.
- WoTUG22 - Call for Papers
- WoTUG22 - new dates
- WoTUG22 CFP
- WSCG conf.,Plzen(Prague,Czech)
This archive was generated by hypermail 2.1.7 on 2004-11-01 18:03:24 GMT
© Copyright WoTUG
All rights reserved
|