| Articolul precedent |
| Articolul urmator |
 |
 641 2 |
| Ultima descărcare din IBN: 2020-02-18 11:09 |
 SM ISO690:2012AMAN, 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 |
||||||
|
|
|
|
