J 1996

A process Algebra for Synchronous Concurrent Constraint Programming

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

Basic information

Original name

A process Algebra for Synchronous Concurrent Constraint Programming

Authors

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

Edition

TR City University, U.K. London, City University London, 1996, 1364-4009

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

20206 Computer hardware and architecture

Country of publisher

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/96:00000063

Organization unit

Faculty of Informatics
Změněno: 13/1/2000 11:48, prof. RNDr. Luboš Brim, CSc.

Links

GA201/93/2123, research and development project
Name: Analýza konkurentních nekonečně stavových systémů
Investor: Czech Science Foundation, Analysis of Concurrent 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