Volume 100

Science of Computer Programming

Volume 100

1

Preface for the special issue on Interaction and Concurrency Experience 2012

Carbone, Marco, Lanese, Ivan, Silva, Alexandra, Sokolova, Ana

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 117 KB

english, 2015

2

Weak CCP bisimilarity with strong procedures

Pino, Luis F., Aristizábal, Andrés, Bonchi, Filippo, Valencia, Frank

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 831 KB

english, 2015

3

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias, Kyriakos, Tuosto, Emilio

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2015

4

Shared contract-obedient channels

Lozes, Étienne, Villard, Jules

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.49 MB

english, 2015

5

Model checking recursive programs interacting via the heap

Asăvoae, I.M., de Boer, F., Bonsangue, M.M., Lucanu, D., Rot, J.

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.25 MB

english, 2015

6

Editorial Board

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 44 KB

english, 2015