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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire de l'Informatique du Parallélisme
labStructName_s : Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Image document

L-Convex Polyominoes Are Recognizable in Real Time by 2D Cellular Automata

Anaël Grandjean , Victor Poupet
AUTOMATA, Jun 2015, Turku, Finland. pp.127-140, ⟨10.1007/978-3-662-47221-7_10⟩
Conference papers hal-01442468v1
Image document

A Behavioural Theory for a π-calculus with Preorders

Daniel Hirschkoff , Jean-Marie Madiot , Xian Xu
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.143-158, ⟨10.1007/978-3-319-24644-4_10⟩
Conference papers hal-01246094v2