Multi-threading and message communication (2001) [6 citations — 3 self]
Download:
|
|
by Keith Clark, Keith Clark, Peter J. Robinson, Peter J. Robinson, Richard Hagen, Richard Hagen
in Qu-Prolog. Theory and Practice of Logic Programming
ftp://svrc.it.uq.edu.au/techreports/tr98-11.ps.gz
Add To MetaCart
Abstract:
reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via
Citations
| 658 | Linda in Context – Carriero, Gelernter - 1989 |
| 11 | Ergo 4.1 Reference Manual – Becht, Bloesch, et al. - 1996 |
| 11 | A tool for developing correct programs by refinement – Carrington, Hayes, et al. - 1996 |
| 9 | BinProlog 5.75 User Guide – Tarau - 1997 |
| 6 | Qu-Prolog 4.2 reference manual – Robinson, Hagen - 1997 |
| 5 | Interactively Verifying a Simple Real-time Scheduler – Fidge, Kearney, et al. - 1995 |
| 3 | Qu-Prolog 4.2 User Guide – Robinson - 1997 |
| 1 | Multi-threading in an interactive theorem prover – Cook, Robinson |
