Scientific Annals of Computer Science

"Alexandru Ioan Cuza" University of Iaşi



Volume XXVI, Issue 2, 2016

A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences, pages 125-156
J.A. Bergstra, C.A. Middelburg
Abstract | References | BibTeX | Full text (PDF)

RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model, pages 157–186
A. Fontaine, A. Zemmari
Abstract | References | BibTeX | Full text (PDF)

On Activation, Connection, and Behavior in Dynamic Architectures, pages 187–248
D. Marmsoler, M. Gleirscher
Abstract | References | BibTeX | Full text (PDF)

Dynamic Chromatic Number of Bipartite Graphs, pages 249–261
S. Saqaeeyan, E. Mollaahamdi
Abstract | References | BibTeX | Full text (PDF)


© 2006-2019 FII | Contact: annals at info.uaic.ro