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.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Chapter(s) of a specialized book
Field of Study 20206 Computer hardware and architecture
Country of publisher United Kingdom of Great Britain and Northern Ireland
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/96:00000065
Organization unit Faculty of Informatics
ISBN 3-540-61735-3
Changed by Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 13/1/2000 11:37.
Links
GA201/93/2123, research and development projectName: 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
PrintDisplayed: 26/4/2024 07:01