Imagen de Portada

Semantika s pravo paralelnostjo in pravilnostjo paralelnih programov : doktorska disertacija /

V disertaciji predlagamo za paralelne programe, katerih komponente komunicirajo med seboj izključno prek skupnih spremenljivk, linearno semantiko s pravo paralelnostjo, pri kateri se akciji dveh različnih paralelnih komponent, ki ne dostopata do skupnih spremenljivk, lahko izvedeta sočasno. Osnovni...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor Principal: Kapus, Tatjana. (Autor)
Otros Autores: Horvat, Bogomir, 1936- (Orientador)
Formato: Tesis Libro
Lenguaje:Slovenian
Publicado: Maribor : [s.n.], 1994.
Materias:
računalništvo > paralelni programi > semantika s pravo paralelnostjo > pošteni paralelni prehajalni sistem > označena mreža pojavljanja prvega reda > formalna verifikacija > paralelna temporalna akcijska logika > kompozicionalnost
computer science > concurrent programs > true concurrency semantics > fair concirrent transition system > labelled first order occurrence net > formal verification > concurrent temporal logic of actions > compositionality
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Sistema en mantenimiento

Nuestro Sistema de Biblioteca se encuentra en mantenimiento.

En este momento no hay información de existencias y disponibilidad de copias. Por favor acepte nuestras disculpas por los inconvenientes causados, contáctenos para una mayor información.

it.ukm@um.si

Ejemplares similares