BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ. Multi-Agents Systems as Concurrent Constraint Processes. In SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics. Heldelberg: Springer Verlag, 2001, p. 201-210. Lecture Notes in Computer Science, vol.2234. ISBN 0302-9743.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Multi-Agents Systems as Concurrent Constraint Processes
Authors BRIM, Luboš, Jean-Marie JACQUET, David GILBERT and Mojmír KŘETÍNSKÝ.
Edition Heldelberg, SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, p. 201-210, Lecture Notes in Computer Science, vol.2234, 2001.
Publisher Springer Verlag
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 20206 Computer hardware and architecture
Country of publisher Slovakia
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/01:00004558
Organization unit Faculty of Informatics
ISBN 0302-9743
Keywords in English agents; concurrent constraint programming; semantics; synchronny; concurrency
Tags agents, concurrency, concurrent constraint programming, semantics, synchronny
Changed by Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 13/11/2001 16:03.
Abstract
We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere.
Links
GA201/00/0400, research and development projectName: Nekonečně stavové souběžné systémy - modely a verifikace
Investor: Czech Science Foundation, Infinite state concurrent systems - models and verification
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: 7/5/2024 01:03