Concurrency: Theory, Language, and Architecture: UK/Japan Workshop, Oxford, UK, September 25?27, 1989, Proceedings (Lecture Notes in Computer Science, 491): New (1991)

Descripci�n

N� de ref. del art�culo I-9783540539322

Detalles bibliogr�ficos

T�tulo: Concurrency: Theory, Language, and Architecture: UK/Japan Workshop, Oxford, UK, September 25?27, 1989, Proceedings (Lecture Notes in Computer Science, 491)
Editor: Springer
Fecha de publicaci�n: 1991
Idioma: Ingl�s
ISBN 10: 3540539328
ISBN 13: 9783540539322
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: New

Acerca de

Sinopsis

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.

Rese�a del editor

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.