Adding Time via Timed Transitions to Concurrent Constraint Programming

BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. Adding Time via Timed Transitions to Concurrent Constraint Programming. In ERCIM/COMPULOG Workshop. Linz, Austria: ERCIM, 1997, p. 23-34.

Basic information

Original name

Adding Time via Timed Transitions to Concurrent Constraint Programming

Authors

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

Edition

Linz, Austria, ERCIM/COMPULOG Workshop, p. 23-34, 1997

Publisher

ERCIM

---

Other information

Language

English

Type of outcome

Kapitola resp. kapitoly v odborné knize

Field of Study

20206 Computer hardware and architecture

Country of publisher

Austria

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/97:00001758

Organization unit

Faculty of Informatics

---

Links

GA201/97/0456, research and development project	Name: 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