C 1993

Operational semantics of concurrent logical systems.

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

Basic information

Original name

Operational semantics of concurrent logical systems.

Authors

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

Edition

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

Publisher

City University London

Other information

Language

English

Type of outcome

Kapitola resp. kapitoly v odborné knize

Field of Study

20206 Computer hardware and architecture

Country of publisher

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/93:00000029

Organization unit

Faculty of Informatics
Změněno: 13/1/2000 11:41, prof. RNDr. Luboš Brim, CSc.

Links

GA201/93/2123, research and development project
Name: Analýza konkurentních nekonečně stavových systémů
Investor: Czech Science Foundation, Analysis of Concurrent Infinite State Systems
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing