Randomized non-sequential processes


Autoria(s): Voelzer, H.
Contribuinte(s)

K. Larsen

M. Nielsen

Data(s)

01/01/2001

Identificador

http://espace.library.uq.edu.au/view/UQ:95757

Idioma(s)

eng

Publicador

Springer Verlag

Palavras-Chave #E1 #280403 Logics and Meanings of Programs #780101 Mathematical sciences
Tipo

Conference Paper