Normal view MARC view ISBD view

Modal characterization of weak bisimulation for higher-order processes [[Texte imprimé]] / {M. Baldamus, J. Dingel} : extended abstract

Publication :s.l. : s.n., 1997Description : p. 285-296Bibliographie: Bibliogr. p. 296.Sujet : MODELE DU PARALLELISME ;LOGIQUE
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-2264 Sur demande CRI03436D

Bibliogr. p. 296

Powered by Koha

//]]>