Articolul precedent |
Articolul urmator |
687 2 |
Ultima descărcare din IBN: 2020-02-18 11:09 |
SM ISO690:2012 AMAN, Bogdan, CIOBANU, Gabriel. Sharing Knowledge Network. In: Conference on Mathematical Foundations of Informatics, Ed. 2017, 9-11 noiembrie 2017, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2017, pp. 31-34. ISBN 978‐9975‐4237‐6‐2. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference on Mathematical Foundations of Informatics 2017 | ||||||
Conferința "Conference on Mathematical Foundations of Informatics" 2017, Chișinău, Moldova, 9-11 noiembrie 2017 | ||||||
|
||||||
Pag. 31-34 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
We present the sharing calculus, a calculus of parallel communicating systems in which we can naturally express processes able to add and remove attributes to names. This new calculus can model distributed processes with a shared attribute-based knowledge. We provide its operational semantics, an example and some results. |
||||||
Cuvinte-cheie shared attributes, parallel processes, semantics |
||||||
|
Google Scholar Export
<meta name="citation_title" content="Sharing Knowledge Network"> <meta name="citation_author" content="Aman Bogdan"> <meta name="citation_author" content="Ciobanu Gabriel"> <meta name="citation_publication_date" content="2017"> <meta name="citation_collection_title" content="Conference on Mathematical Foundations of Informatics"> <meta name="citation_firstpage" content="31"> <meta name="citation_lastpage" content="34"> <meta name="citation_pdf_url" content="https://ibn.idsi.md/sites/default/files/imag_file/31-34.pdf">