[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || From Multi to Single Stack Automata

[Lecture Notes in Computer Science] CONC

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Kleene, Rabin, and Scott Are Available

✍ Gastin, Paul; Laroussinie, François 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 260 KB

[Lecture Notes in Computer Science] CONC

[Lecture Notes in Computer Science] CONCUR 2010 - Concurrency Theory Volume 6269 || Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification

✍ Gastin, Paul; Laroussinie, François 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 291 KB

[Lecture Notes in Computer Science] Lang

[Lecture Notes in Computer Science] Language and Automata Theory and Applications Volume 5457 || Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata

✍ Dediu, Adrian Horia; Ionescu, Armand Mihai; Martín-Vide, Carlos 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 228 KB

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Theory to Practice in Multi-Agent Systems Volume 2296 || Software Development Kit for Multi-agent Systems Design and Implementation

✍ Dunin-Keplicz, Barbara; Nawarecki, Edward 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 97 KB

This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS’99andDAIMAS’97,whichtookplaceinSt. Pete

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Theory to Practice in Multi-Agent Systems Volume 2296 || Network Services in Context of Pervasive Mobile Internet

✍ Dunin-Keplicz, Barbara; Nawarecki, Edward 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 213 KB

This volume contains the papers selected for presentation at CEEMAS 2001. The wo- shop was the fourth in a series of international conferences devoted to autonomous agents and multi-agent systems organized in Central-Eastern Europe. Its predecessors wereCEEMAS’99andDAIMAS’97,whichtookplaceinSt. Pete