1996
A process algebra for Synchronous Concurrent Constraint Programming
BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝZákladní údaje
Originální název
A process algebra for Synchronous Concurrent Constraint Programming
Autoři
BRIM, Lubos, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ
Vydání
Aachen, Germany, ALP96: Fifth Int. Conference on Algebraic and Logic Programm, s. 165-178, LNCS 1139, 1996
Nakladatel
Springer-Verlag
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/96:00000065
Organizační jednotka
Fakulta informatiky
ISBN
3-540-61735-3
Změněno: 13. 1. 2000 11:37, prof. RNDr. Luboš Brim, CSc.
Návaznosti
GA201/93/2123, projekt VaV |
| ||
MSM 143300001, záměr |
|