Structuring and verifying distributed algorithms

Structuring and verifying distributed algorithms

Artikkeli

;

Waldén, Marina

Julkaisussa: Nordic journal of computing 8 (2001) : 2, s. 193-218

Tallennettuna:

Kieli

englanti

Luokitus

acmccs D.2.4
acmccs F.3.1

Aiheet

verifying programs

understanding programs

distributed systems

superposition refinement

Saatavuustiedot