𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

✍ Scribed by Paolo Baldan, Daniele Gorla (eds.)


Publisher
Springer
Year
2014
Tongue
English
Leaves
594
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects


Mathematical Logic and Formal Languages


πŸ“œ SIMILAR VOLUMES


CONCUR 2010 - Concurrency Theory: 21th I
✍ Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, FranΓ§ois Larouss πŸ“‚ Library πŸ“… 2010 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of co

CONCUR 2010 - Concurrency Theory: 21th I
✍ Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, FranΓ§ois Larouss πŸ“‚ Library πŸ“… 2010 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of co

CONCUR 2011 – Concurrency Theory: 22nd I
✍ Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara KΓΆnig (eds.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. <br>The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such a

CONCUR 2011 – Concurrency Theory: 22nd I
✍ Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara KΓΆnig (eds.) πŸ“‚ Library πŸ“… 2011 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. <br>The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such a

CONCUR 2013 – Concurrency Theory: 24th I
✍ Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, HernΓ‘n Melgratti (ed πŸ“‚ Library πŸ“… 2013 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. <br>The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected fr

CONCUR 2013 – Concurrency Theory: 24th I
✍ Lorenzo Alvisi, Edmund L. Wong (auth.), Pedro R. D’Argenio, HernΓ‘n Melgratti (ed πŸ“‚ Library πŸ“… 2013 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. <br>The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected fr