CONCUR '94: Concurrency Theory

CONCUR '94: Concurrency Theory
Author :
Publisher : Springer
Total Pages : 541
Release :
ISBN-13 : 9783540486541
ISBN-10 : 3540486542
Rating : 4/5 (42 Downloads)

Book Synopsis CONCUR '94: Concurrency Theory by : Bengt Jonsson

Download or read book CONCUR '94: Concurrency Theory written by Bengt Jonsson and published by Springer. This book was released on 2006-04-10 with total page 541 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.


CONCUR '94: Concurrency Theory Related Books

Algorithms - ESA '94
Language: en
Pages: 536
Authors: Jan van Leeuwen
Categories: Computers
Type: BOOK - Published: 1994-09-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book brings together recent developments in Alzheimer's disease research with related discoveries in the field of cell biology. The book moves between basi
Self-Stabilizing Systems
Language: en
Pages: 237
Authors: Ajoy K. Datta
Categories: Business & Economics
Type: BOOK - Published: 2001-09-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Workshop on Self-Stabilizing Systems, WSS 2001, held in Lisbon, Portugal, in October 200
Multimedia Transport and Teleservices
Language: en
Pages: 406
Authors: David Hutchison
Categories: Technology & Engineering
Type: BOOK - Published: 1994-11-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the International COST 237 Workshop, held in Vienna in November 1994 in the framework of the CEC COST 237 Multimedia Tel
Formal Methods for Components and Objects
Language: en
Pages: 517
Authors: Frank S.de Boer
Categories: Computers
Type: BOOK - Published: 2003-10-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2
Logics of Specification Languages
Language: en
Pages: 624
Authors: Dines Bjørner
Categories: Mathematics
Type: BOOK - Published: 2007-12-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi