BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming. FI MU Report Series. Brno: FI MU, 1999, vol. 1999, No 08, p. 1-62.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
Authors BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ.
Edition FI MU Report Series, Brno, FI MU, 1999.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 20206 Computer hardware and architecture
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/99:00001617
Organization unit Faculty of Informatics
Keywords in English concurrent constraint programming; semantics; synchronny; concurrency
Tags concurrency, concurrent constraint programming, semantics, synchronny
Changed by Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 13/1/2000 08:32.
Links
GA201/97/0456, research and development projectName: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Czech Science Foundation, Algorithmic Verification Boundaries for 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
PrintDisplayed: 18/6/2024 01:45