Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

CONCUR 2004 - Concurrency Theory (repost)

Posted By: Veslefrikk
CONCUR 2004 - Concurrency Theory (repost)

Philippa Gardner, Nobuko Yoshida, CONCUR 2004 - Concurrency Theory
ISBN: 354022940X | edition 2004 | PDF | 547 pages | 5 mb

The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 134 submissions. Among the topics covered are concurrency related aspects of models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model checking, verification techniques, refinement, term and graph rewriting, distributed programming, constraint logic programming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and verification.