CONCUR '96: Concurrency Theory
Author : Ugo Montanari
Publisher : Springer Science & Business Media
Total Pages : 750
Release : 1996-08-07
ISBN 10 : 3540616047
ISBN 13 : 9783540616047
Language : EN, FR, DE, ES & NL

CONCUR '96: Concurrency Theory Book Description:

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.


CONCUR '96: Concurrency Theory
Language: en
Pages: 750
Authors: Ugo Montanari
Categories: Computers
Type: BOOK - Published: 1996-08-07 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 2
CONCUR 2000 - Concurrency Theory
Language: en
Pages: 613
Authors: Catuscia Palamidessi
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 2
CONCUR '98 Concurrency Theory
Language: en
Pages: 663
Authors: Davide Sangiorgi
Categories: Computers
Type: BOOK - Published: 1998-08-19 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998. Th
CONCUR'99. Concurrency Theory
Language: en
Pages: 584
Authors: Jos C.M. Baeten
Categories: Mathematics
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

This book constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, The Netherlands in August 1999.
CONCUR 2001 - Concurrency Theory
Language: en
Pages: 589
Authors: Kim G. Larsen
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
Concurrency and Parallelism, Programming, Networking, and Security
Language: en
Pages: 394
Authors: Joxan Jaffar
Categories: Computers
Type: BOOK - Published: 1996-11-19 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume pre
Foundation of Software Science and Computation Structures
Language: en
Pages: 398
Authors: Jerzy Tiuryn
Categories: Computers
Type: BOOK - Published: 2000-03-15 - Publisher: Springer Science & Business Media

ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998
Database Theory - ICDT '97
Language: en
Pages: 475
Authors: Foto N. Afrati
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 6th International Conference on Database Theory, ICDT '97, held in Delphi, Greece, in January 1997. The 29
Information Theory and Applications II
Language: en
Pages: 312
Authors: Jean-Yves Chouinard
Categories: Technology & Engineering
Type: BOOK - Published: 1996-09-25 - Publisher: Springer Science & Business Media

This book constitutes the refereed postworkshop proceedings of the Fourth Canadian Workshop on Information Theory, held in Lac Delage, Quebec, in May 1995. The
Practice and Theory of Automated Timetabling
Language: en
Pages: 379
Authors: Melanie H. Ross
Categories: Business & Economics
Type: BOOK - Published: 1996-10-02 - Publisher: Springer Science & Business Media

Provides detailed information about the signal transduction pathways used by interferons to activate gene transcription. In addition, this book discusses how th