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, 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, 157–186
A. Fontaine, A. Zemmari
Abstract | References | BibTeX | Full text (PDF)

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

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


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