More Books:

Semantics of Systems of Concurrent Processes
Language: en
Pages: 466
Authors: Spring School on theoretical computer science
Categories: Computers
Type: BOOK - Published: 1990-11-28 - Publisher: Springer Science & Business Media

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two k
Handbook of Process Algebra
Language: en
Pages: 1356
Authors: J.A. Bergstra
Categories: Mathematics
Type: BOOK - Published: 2001-03-16 - Publisher: Elsevier

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It
Self-Timed Control of Concurrent Processes
Language: en
Pages: 432
Authors: Victor I. Varshavsky
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

'Et moi ... ~ si j'avait su comment en revenir. One service mathematics has rendered thl je n'y serais point aile: human race. It has put common sense back wher
Theory and Formal Methods 1993
Language: en
Pages: 329
Authors: Geoffrey Burn
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It cont
Modeling and Verification of Parallel Processes
Language: en
Pages: 234
Authors: Franck Cassez
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP
Algorithms, Concurrency and Knowledge
Language: en
Pages: 428
Authors: Kanchana Kanchanasut
Categories: Computers
Type: BOOK - Published: 1995-11-28 - Publisher: Springer Science & Business Media

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29
CONCUR '91
Language: en
Pages: 564
Authors: Jos C.M. Baeten
Categories: Computers
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90
Transactions on Petri Nets and Other Models of Concurrency I
Language: en
Pages: 251
Authors: Wil M. P. van der Aalst
Categories: Computers
Type: BOOK - Published: 2008-11-27 - Publisher: Springer

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in
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
Advances in Petri Nets 1991
Language: en
Pages: 590
Authors: Helmut Pl√ľnnecke
Categories: Computers
Type: BOOK - Published: 1991-08-28 - Publisher: Springer Science & Business Media

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most repr