{"id":"https://openalex.org/W64215366","doi":null,"title":"A New Approach to Communicating X-Machine Systems.","display_name":"A New Approach to Communicating X-Machine Systems.","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W64215366","mag":"64215366"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.105.2298","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2298","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_6_5/a_new_approach_to/Georgescu_H.pdf","raw_type":"text"},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017141588","display_name":"Horia Georgescu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Horia Georgescu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5091491841","display_name":"Cristina Vertan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cristina Vertan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3524,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.78852926,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"6","issue":null,"first_page":"490","last_page":"502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3571999967098236,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3571999967098236,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.21570000052452087,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.10040000081062317,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/x-machines","display_name":"X-machines","score":0.7839999794960022},{"id":"https://openalex.org/keywords/synchronous-message-passing","display_name":"synchronous message passing","score":0.7570000290870667},{"id":"https://openalex.org/keywords/concurrent-systems-specification","display_name":"concurrent systems specification","score":0.5410000085830688},{"id":"https://openalex.org/keywords/local-memory","display_name":"local memory","score":0.6389999985694885}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9123572111129761}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.105.2298","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2298","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_6_5/a_new_approach_to/Georgescu_H.pdf","raw_type":"text"},{"id":"mag:64215366","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jucs/jucs6.html#GeorgescuV00","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4099999964237213}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1538137835","https://openalex.org/W2005453221","https://openalex.org/W2090255520","https://openalex.org/W2061317765","https://openalex.org/W2047916890","https://openalex.org/W2002828015","https://openalex.org/W1605831037","https://openalex.org/W53742805","https://openalex.org/W2056235294","https://openalex.org/W2054230624","https://openalex.org/W2011762419","https://openalex.org/W2990391868","https://openalex.org/W2157908486","https://openalex.org/W145975609","https://openalex.org/W2053891347","https://openalex.org/W1787128023","https://openalex.org/W3171001111","https://openalex.org/W1982377231","https://openalex.org/W2137614902","https://openalex.org/W2160628328"],"abstract_inverted_index":{"Abstract:":[0],"This":[1,51],"paper":[2],"presents":[3],"a":[4,75,131],"new":[5],"model":[6,69],"for":[7,57],"the":[8,34,59,94,106,119],"speci":[9],"cation":[10],"of":[11,20,37,90,93,118,121],"communicating":[12,101,110],"X-machine":[13,31,55,73],"systems":[14,19],"(CXMS).":[15],"In":[16],"previous":[17],"papers,":[18],"X-machines":[21,44,85,107],"have":[22],"been":[23],"implemented":[24],"in":[25],"two":[26],"ways:":[27],"using":[28,42,124],"an":[29,54,78,81],"unique":[30],"which":[32,45,58],"simulates":[33],"concurrent":[35],"behaviour":[36,120],"several":[38,43],"processes":[39],"[1],":[40],"or":[41],"communicate":[46],"through":[47,65],"asynchronous":[48],"channels":[49,125],"[2].":[50],"article":[52],"introduces":[53],"system":[56,95],"communication":[60,123],"between":[61,105],"components":[62],"is":[63,113],"done":[64],"synchronous":[66,132],"channels.":[67],"The":[68,84,88],"supposes":[70],"that":[71],"each":[72,91],"has":[74],"local":[76],"memory,":[77],"input":[79],"and":[80,100],"output":[82],"tape.":[83],"act":[86],"simultaneously.":[87],"states":[89],"component":[92],"are":[96],"partitioned":[97],"into":[98],"processing":[99],"states.":[102,111],"Passing":[103],"messages":[104],"involves":[108],"only":[109],"It":[112],"shown":[114],"that,":[115],"taking":[116],"advantage":[117],"X-machines,":[122],"may":[126],"be":[127],"implemented,":[128],"thus":[129],"providing":[130],"message":[133],"passing.":[134]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}