C 1997

Adding Time via Timed Transitions to Concurrent Constraint Programming

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

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

Chapter(s) of a specialized book

Field of Study

20206 Computer hardware and architecture

Country of publisher

Austria

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14330/97:00001758

Organization unit

Faculty of Informatics
Changed: 13/1/2000 11:59, prof. RNDr. Luboš Brim, CSc.

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