C 1993

Operational semantics of concurrent logical systems.

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ

Základní údaje

Originální název

Operational semantics of concurrent logical systems.

Autoři

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ

Vydání

London,U.K. ALP-UK Workshop on Cocurrency in Computational Logic, s. 13-18, 1993

Nakladatel

City University London

Další údaje

Jazyk

angličtina

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Obor

20206 Computer hardware and architecture

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/93:00000029

Organizační jednotka

Fakulta informatiky
Změněno: 13. 1. 2000 11:41, prof. RNDr. Luboš Brim, CSc.

Návaznosti

GA201/93/2123, projekt VaV
Název: Analýza konkurentních nekonečně stavových systémů
Investor: Grantová agentura ČR, Analýza konkurentních nekonečně stavových systémů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů