Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
Book information
Description
This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.
Similar books
Concurrency: Theory, Language, and Architecture: UK/Japan Workshop Oxford, UK, September 25–27, 1989 Proceedings
1991 · DJVU
Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
2014 · PDF
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
2005 · PDF
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
2007 · PDF
Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
2007 · PDF
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
2006 · PDF
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
2005 · PDF
Parsing Techniques. A practical Guide
2008 · PDF