03021nam a22005655i 4500
978-3-642-32940-1
DE-He213
20170324004338.0
cr nn 008mamaa
120901s2012 gw | s |||| 0|eng d
9783642329401
978-3-642-32940-1
10.1007/978-3-642-32940-1
doi
QA76.758
UMZ
bicssc
COM051230
bisacsh
005.1
23
CONCUR 2012 – Concurrency Theory
[electronic resource] :
23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings /
edited by Maciej Koutny, Irek Ulidowski.
Berlin, Heidelberg :
Springer Berlin Heidelberg :
Imprint: Springer,
2012.
XIV, 582 p. 84 illus.
online resource.
text
txt
rdacontent
computer
c
rdamedia
online resource
cr
rdacarrier
text file
PDF
rda
Lecture Notes in Computer Science,
0302-9743 ;
7454
Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types -- abstraction -- mobility and space in process algebra.-stochastic systems.-probabilistic systems -- Petri nets and non-sequential semantics.-verification; decidability.
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl. Internet).
Mathematical Logic and Formal Languages.
Koutny, Maciej.
editor.
Ulidowski, Irek.
editor.
SpringerLink (Online service)
Springer eBooks
Printed edition:
9783642329395
Lecture Notes in Computer Science,
0302-9743 ;
7454
http://dx.doi.org/10.1007/978-3-642-32940-1
ZDB-2-SCS
ZDB-2-LNC
Computer Science (Springer-11645)
50229
50229