Publication year: 2008
ISBN: 978-3-540-85361-9
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Subject: Computer Science, Bisimulation, acyclic models, completeness, computational security, formal language, formal languages, model checking, nash equilibrium, partial order, program verification, r-automata, semantics, shared-memory, simulation, transactional memory, Programming Techniques, Computer Communication Networks, Theory of Computation, Logics and Meanings of Programs, Computation by Abstract Devices