A rigorous environment for development of concurrent systems

A rigorous environment for development of concurrent systems

Artikkeli

Rukšėnas, Rimvydas

Julkaisussa: Nordic journal of computing 11 (2004) : 2, s. 165-193

Tallennettuna:

Kieli

englanti

Luokitus

acmccs F.3.1
acmccs D.2.4
acmccs D.2.2
acmccs D.1.3

Aiheet/asiasanat

concurrent systems

stepwise refinement

refinement tools

theorem provers

compositionality

Saatavuustiedot

Henkilökuntanäyttö