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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Algorithmique Complexité et Logique
labStructName_s : Dipartimento di Informatica [Torino]
Image document

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors

Rudolf Freund , Vladimir Rogojin , Sergey Verlan
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Conference papers hal-01657015v1
Image document

Retractable and Speculative Contracts

Franco Barbanera , Ivan Lanese , Ugo de 'Liguoro
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Conference papers hal-01633262v1