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

Filter your results

4 results
publicationDateY_i : 2012
publicationDateY_i : 2010
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

Compositional Construction of Real-Time Dataflow Networks

Stephanie Kemper
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.92-106, ⟨10.1007/978-3-642-13414-2_7⟩
Conference papers hal-01054621v1
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

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