Cover Image

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The t...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bravetti, Mario. (Editor), Zavattaro, Gianluigi. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5710
Subjects:
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Models and Principles.
Computation by Abstract Devices.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Theory of Computation.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-04081-8
LEADER 02507nam a22005775i 4500
001 7543
003 DE-He213
005 20130725192804.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 # # |a 9783642040818  |9 978-3-642-04081-8 
024 7 # |a 10.1007/978-3-642-04081-8  |2 doi 
050 # 4 |a QA76.9.L63 
050 # 4 |a QA76.5913 
050 # 4 |a QA76.63 
072 # 7 |a UM  |2 bicssc 
072 # 7 |a UYF  |2 bicssc 
072 # 7 |a COM051000  |2 bisacsh 
072 # 7 |a COM036000  |2 bisacsh 
082 0 4 |a 005.1015113  |2 23 
100 1 # |a Bravetti, Mario.  |e editor. 
245 1 0 |a CONCUR 2009 - Concurrency Theory  |b 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /  |c edited by Mario Bravetti, Gianluigi Zavattaro.  |h [electronic resource] : 
264 # 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2009. 
300 # # |b online resource. 
336 # # |a text  |b txt  |2 rdacontent 
337 # # |a computer  |b c  |2 rdamedia 
338 # # |a online resource  |b cr  |2 rdacarrier 
347 # # |a text file  |b PDF  |2 rda 
490 1 # |a Lecture Notes in Computer Science,  |v 5710  |x 0302-9743 ; 
520 # # |a This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009. The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages. 
650 # 0 |a Computer science. 
650 # 0 |a Information theory. 
650 # 0 |a Computer software. 
650 # 0 |a Logic design. 
650 1 4 |a Computer Science. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Models and Principles. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Mathematics of Computing. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Theory of Computation. 
700 1 # |a Zavattaro, Gianluigi.  |e editor. 
710 2 # |a SpringerLink (Online service) 
773 0 # |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642040801 
830 # 0 |a Lecture Notes in Computer Science,  |v 5710  |x 0302-9743 ; 
856 4 0 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-04081-8 
912 # # |a ZDB-2-SCS 
912 # # |a ZDB-2-LNC 
950 # # |a Computer Science (Springer-11645) 

Similar Items