abstraction en sémantique de bisimulation # algèbre de processus # informatique théorique # modèle basé sur la causalité # notion d'équivalence pour système concurrent # queue étrange # rafinement d'action # spectre de temps linéaire temps de branchement # spécification modulaire # sémantique d'ordre partiel # sémantique de ST-bisimulation # sémantique de concurrence comparative

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9789061964544

ISBN : 90-6196-454-7

Collation : Bibliogr. ; fig.#24 cm#broch.

Collection : CWI tract

N° de collection : 0109

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires