{"id":"https://openalex.org/W1544899408","doi":"https://doi.org/10.1016/s1571-0661(05)80467-0","title":"On the Turing equivalence of Linda coordination primitives","display_name":"On the Turing equivalence of Linda coordination primitives","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1544899408","doi":"https://doi.org/10.1016/s1571-0661(05)80467-0","mag":"1544899408"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80467-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80467-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80467-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071501129","display_name":"Nadia Busi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nadia Busi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000720054","display_name":"Roberto Gorrieri","orcid":"https://orcid.org/0000-0001-5502-0584"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roberto Gorrieri","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5058853876","display_name":"Gianluigi Zavattaro","orcid":"https://orcid.org/0000-0003-3313-6409"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gianluigi Zavattaro","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071501129"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4909,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.61290806,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"1","first_page":"75","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12162","display_name":"Cellular Automata and Applications","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7235679626464844},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6829510927200317},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.6101862788200378},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5962685346603394},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5743173360824585},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5734183192253113},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5258039832115173},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.500953197479248},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.49368318915367126},{"id":"https://openalex.org/keywords/tuple-space","display_name":"Tuple space","score":0.47628799080848694},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.46649548411369324},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.45937952399253845},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4409984052181244},{"id":"https://openalex.org/keywords/delegate","display_name":"Delegate","score":0.4211846590042114},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.41457802057266235},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.397927463054657},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3860272467136383},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2717823386192322}],"concepts":[{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7235679626464844},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6829510927200317},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.6101862788200378},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5962685346603394},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5743173360824585},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5734183192253113},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5258039832115173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.500953197479248},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.49368318915367126},{"id":"https://openalex.org/C56800130","wikidata":"https://www.wikidata.org/wiki/Q1684164","display_name":"Tuple space","level":3,"score":0.47628799080848694},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.46649548411369324},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.45937952399253845},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4409984052181244},{"id":"https://openalex.org/C143273055","wikidata":"https://www.wikidata.org/wiki/Q2382794","display_name":"Delegate","level":2,"score":0.4211846590042114},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.41457802057266235},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.397927463054657},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3860272467136383},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2717823386192322},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(05)80467-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80467-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"mag:1544899408","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=895027","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Theoretical Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80467-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80467-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2040821818","https://openalex.org/W1603484428","https://openalex.org/W2171697843","https://openalex.org/W31864779","https://openalex.org/W653785056","https://openalex.org/W1662711380","https://openalex.org/W2116143151","https://openalex.org/W3095895296","https://openalex.org/W46746123","https://openalex.org/W2596516174","https://openalex.org/W2797494992","https://openalex.org/W2952216433","https://openalex.org/W2255359486","https://openalex.org/W279630553","https://openalex.org/W2964313388","https://openalex.org/W1972741378","https://openalex.org/W3037629344","https://openalex.org/W89384568","https://openalex.org/W1970733094","https://openalex.org/W374648105"],"abstract_inverted_index":{"We":[0,27],"introduce":[1],"a":[2,14,119,139,149],"process":[3,74,102],"algebra":[4,75,103],"containing":[5],"the":[6,24,33,36,42,50,54,58,67,70,77,97,101,105],"coordination":[7],"primitives":[8],"of":[9,96,124,142],"Linda":[10],"(asynchronous":[11],"communication":[12],"via":[13],"shared":[15,25,55],"data":[16,56],"space,":[17],"read":[18,132],"operation,":[19],"non-blocking":[20],"test":[21],"operators":[22],"on":[23],"space).":[26],"compare":[28],"two":[29],"possible":[30],"semantics":[31,79,107,121],"for":[32],"output":[34,43],"operation:":[35],"former,":[37],"we":[38,60,84],"call":[39,61],"ordered,":[40],"defines":[41],"as":[44,83],"an":[45],"operation":[46],"that":[47,100,136],"returns":[48,63],"when":[49],"message":[51,68],"has":[52],"reached":[53],"space;":[57],"latter,":[59],"unordered,":[62],"just":[64],"after":[65],"sending":[66],"to":[69,87,118],"tuple":[71],"space.":[72],"The":[73,93],"under":[76,104],"ordered":[78],"is":[80,99,108,114,153],"Turing":[81,110],"powerful,":[82],"are":[85],"able":[86],"program":[88],"any":[89],"Random":[90],"Access":[91],"Machine.":[92],"main":[94],"result":[95,113],"paper":[98],"unordered":[106],"not":[109],"powerful.":[111],"This":[112],"achieved":[115],"by":[116,145],"resorting":[117],"net":[120],"in":[122],"terms":[123],"contextual":[125],"nets":[126,128,144],"(P/T":[127],"with":[129],"inhibitor":[130],"and":[131,134],"arcs),":[133],"showing":[135],"there":[137],"exists":[138],"deadlock-preserving":[140],"simulation":[141],"such":[143],"finite":[146],"P/T":[147],"nets,":[148],"formalism":[150],"where":[151],"termination":[152],"decidable.":[154]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}