eBooks :: Kembali

eBooks :: Kembali

CONCUR 2012–concurrency theory : 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings

Maciej Koutny, Irek Ulidowski ([, Springer-Verlag], 2012)

 Abstrak

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, and decidability.

 File Digital: 1

Shelf
 CONCUR 2012 ? Concurrency Theory.pdf :: Unduh

LOGIN required

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20409417
Entri utama-Nama orang :
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Heidelberg: [, Springer-Verlag], 2012
Sumber Pengatalogan: LibUI eng rda
Tipe Konten: text
Tipe Media: computer
Tipe Pembawa: online resource
Deskripsi Fisik:
Tautan: http://link.springer.com/book/10.1007%2F978-3-642-32940-1
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20409417 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20409417
Cover