A process algebra for Synchronous Concurrent Constraint Programming

BRIM, Lubos, David GILBERT, Jean-Marie JACQUET and Mojmír KŘETÍNSKÝ. A process algebra for Synchronous Concurrent Constraint Programming. In ALP96: Fifth Int. Conference on Algebraic and Logic Programm. Aachen, Germany: Springer-Verlag, 1996, p. 165-178. LNCS 1139. ISBN 3-540-61735-3.

Basic information

Original name

A process algebra for Synchronous Concurrent Constraint Programming

Authors

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

Edition

Aachen, Germany, ALP96: Fifth Int. Conference on Algebraic and Logic Programm, p. 165-178, LNCS 1139, 1996

Publisher

Springer-Verlag

---

Other information

Language

English

Type of outcome

Kapitola resp. kapitoly v odborné knize

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:00000065

Organization unit

Faculty of Informatics

ISBN

3-540-61735-3

---

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