English

Szerző: " Hung Dang Van"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

Cikk, tanulmány, mű

Hung Dang Van; Knuth Előd: A noninterleaving semantics for communicating sequential processes : a fixed-point approach. In: Acta cybernetica, (8) 3. pp. 293-311. (1988)

A lista elkészítésének dátuma 2024. április 18. 21:50:34 CEST.
Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.