Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
publicationDateY_i : 2012
publicationDateY_i : 2011
Page :
sorted by
Image document

Defining Context-Free Power Series Coalgebraically

 Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers hal-01539885v1
Image document

Simulation-Based Performance Analysis of Channel-Based Coordination Models

 C. Verhoef , C. Krause , O. Kanters , R. van Der Mei
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, ⟨10.1007/978-3-642-21464-6_13⟩
Conference papers hal-01582989v1
Image document

Game Developers Need Lua AiR

 Paul Klint , Loren Roosendaal , Riemer van Rozen
ICEC 2012 - 11th International Confernece on Entertainment Computing, Sep 2012, Bremen, Germany. pp.530-535, ⟨10.1007/978-3-642-33542-6_69⟩
Conference papers hal-00758607v1
Image document

Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models

 Sung-Shik Jongmans , Christian Krause , Farhad Arbab
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, ⟨10.1007/978-3-642-21464-6_3⟩
Conference papers hal-01582996v1

Theoretical Computer Science

 Jos C. M. Baeten , Tom Ball , Frank S. de Boer
Springer, LNCS-7604, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-33475-7⟩
Books hal-01556209v1
Page :