BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Temporal Synchronous Concurrent Constraint Programming. In COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems. Piza, Italy: COTIC 97, 1997, p. 35-50. tical appl.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Temporal Synchronous Concurrent Constraint Programming
Authors BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ.
Edition Piza, Italy, COTIC 97, 1st Int.Workshop on Contr.programming for time critical systems, p. 35-50, tical appl, 1997.
Publisher COTIC 97
Other information
Original language English
Type of outcome Chapter(s) of a specialized book
Field of Study 20206 Computer hardware and architecture
Country of publisher Italy
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/97:00000084
Organization unit Faculty of Informatics
Changed by Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 13/1/2000 08:45.
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: 9/5/2024 19:13