{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:58:07Z","timestamp":1729616287655,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/mixdes.2016.7529784","type":"proceedings-article","created":{"date-parts":[[2016,8,4]],"date-time":"2016-08-04T16:27:52Z","timestamp":1470328072000},"page":"448-453","source":"Crossref","is-referenced-by-count":2,"title":["Communication between agents in Alvis language"],"prefix":"10.1109","author":[{"given":"Piotr","family":"Matyasik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcin","family":"Szpyrka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michal","family":"Wypych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerzy","family":"Biernacki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-006-9003-0"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref11"},{"key":"ref12","first-page":"1","article-title":"Formal modelling and verification of concurrent systems with XCCS","author":"szpyrka","year":"2008","journal-title":"Proceedings of the 7th InternationalSymposium on Parallel and Distributed Computing (ISPDC 2008)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611230"},{"key":"ref14","first-page":"55","article-title":"Hierarchical communication diagrams","volume":"35","author":"szpyrka","year":"2016","journal-title":"Computing and Informatics"},{"journal-title":"Real World Haskell Se-bastopol","year":"2008","author":"o'sullivan","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1063\/1.4938890"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.15439\/2014F267"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref4"},{"key":"ref3","first-page":"1607","article-title":"Alvis language with time dependence","author":"szpyrka","year":"2013","journal-title":"Proceedings of the Federated Conference on Computer Scienceand Information Systems"},{"journal-title":"Handbook of Process Algebra Upper Saddle River","year":"2001","author":"bergstra","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2014.6860481"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICON.2001.962318"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.3233\/FI-2014-967","article-title":"Formal description of Alvis language with ?° system layer","volume":"129","author":"szpyrka","year":"2014","journal-title":"Fundamenta Informaticae"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21271-0_15"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.03.007"}],"event":{"name":"2016 MIXDES - 23rd International Conference \"Mixed Design of Integrated Circuits and Systems\"","start":{"date-parts":[[2016,6,23]]},"location":"Lodz, Poland","end":{"date-parts":[[2016,6,25]]}},"container-title":["2016 MIXDES - 23rd International Conference Mixed Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7523589\/7529685\/07529784.pdf?arnumber=7529784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T19:55:59Z","timestamp":1656964559000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7529784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/mixdes.2016.7529784","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}