{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:56:25Z","timestamp":1725458185526},"reference-count":6,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hpcsa.2002.1019142","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:04:13Z","timestamp":1056564253000},"page":"114-115","source":"Crossref","is-referenced-by-count":0,"title":["Graph-based algorithms for parallel processes"],"prefix":"10.1109","author":[{"given":"S.","family":"Yordanova","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"The Process Algebra","author":"yordanova","year":"1993","journal-title":"Discrete Mathematics and Applications"},{"key":"ref3","article-title":"Finite “State Processes","author":"denev","year":"1993","journal-title":"Discrete Mathematics and Applications"},{"key":"ref6","article-title":"Some Finite-Graph Models of Process Algebra","author":"sptuit","year":"1991","journal-title":"Proc CONCUR"},{"key":"ref5","article-title":"Classification of Parallel Processes States","author":"yordanova","year":"2000","journal-title":"Second Congers of Mathematics and Informatics"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref2"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref1"}],"event":{"name":"16th Annual International Symposium on High Performance Computing Systems and Applications","acronym":"HPCSA-02","location":"Moncton, NB, Canada"},"container-title":["Proceedings 16th Annual International Symposium on High Performance Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7938\/21891\/01019142.pdf?arnumber=1019142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T19:01:28Z","timestamp":1489172488000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1019142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/hpcsa.2002.1019142","relation":{},"subject":[]}}