{"id":"https://openalex.org/W2117150083","doi":"https://doi.org/10.1007/bfb0026830","title":"Local linear logic for locality consciousness in multiset transformation","display_name":"Local linear logic for locality consciousness in multiset transformation","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2117150083","doi":"https://doi.org/10.1007/bfb0026830","mag":"2117150083"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0026830","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0026830","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/files/6145628/PLILP95_local_linear_logic.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054404098","display_name":"Hugh Edmund McEvoy","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Hugh McEvoy","raw_affiliation_strings":["Department of Computer Systems, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","University of Amsterdam#N#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam#N#","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016345474","display_name":"Pieter Hartel","orcid":"https://orcid.org/0000-0002-0411-0421"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Pieter H. Hartel","raw_affiliation_strings":["Department of Computer Systems, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","University of Amsterdam#N#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam#N#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054404098"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4651,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6465721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"357","last_page":"379"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9922000169754028,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9825000166893005,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/multiset","display_name":"Multiset","score":0.7044409513473511},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6618114709854126},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.6140679121017456},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5341632962226868},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5195441842079163},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5168457627296448},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49829721450805664},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46369469165802},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.45370855927467346},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.44916707277297974},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.41007715463638306},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2263799011707306},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.1841106414794922},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.06510692834854126}],"concepts":[{"id":"https://openalex.org/C2779623528","wikidata":"https://www.wikidata.org/wiki/Q864377","display_name":"Multiset","level":2,"score":0.7044409513473511},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6618114709854126},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.6140679121017456},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5341632962226868},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5195441842079163},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5168457627296448},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49829721450805664},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46369469165802},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.45370855927467346},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.44916707277297974},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.41007715463638306},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2263799011707306},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.1841106414794922},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.06510692834854126},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1007/bfb0026830","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0026830","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/fcb99604-33f3-4e5e-a780-c6e7a57d30ac","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/local-linear-logic-for-locality-consciousness-in-multiset-transformation(fcb99604-33f3-4e5e-a780-c6e7a57d30ac).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"McEvoy, H & Hartel, P H 1995, 'Local linear logic for locality consciousness in multiset transformation', Lecture Notes in Computer Science, vol. 982, pp. 357-379. https://doi.org/10.1007/BFb0026830","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/fc149029-eec2-4543-b652-32d06b39e0de","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/fc149029-eec2-4543-b652-32d06b39e0de","pdf_url":"https://research.utwente.nl/files/6145628/PLILP95_local_linear_logic.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"McEvoy, H, Hermenegildo, M V (ed.), Swierstra, S D (ed.) & Hartel, P H 1995, 'Local Linear Logic for Locality Consciousness in Multiset Transformation', pp. 357-379. https://doi.org/10.1007/BFb0026830","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1010.1339","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1010.1339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doc.utwente.nl/55713/1/PLILP95_local_linear_logic.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1010.9401","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1010.9401","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://eprints.eemcs.utwente.nl/1157/01/fulltext.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.51.140","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.wins.uva.nl/pub/computer-systems/functional/reports/PLILP95_local_linear_logic.ps.Z","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/b51aaed8-a12e-48e1-9e7f-dc3b765444b6","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/local-linear-logic-for-locality-consciousness-in-multiset-transformation(b51aaed8-a12e-48e1-9e7f-dc3b765444b6).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"McEvoy, H E & Hartel, P H 1995, Local linear logic for locality consciousness in multiset transformation. in S D Swierstra & M Hermenegildo (eds), 7th Programming languages: implementations, logics and programs (PLILP), LNCS 982. Berlin, pp. 357-379.","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:eprints.soton.ac.uk:253241","is_oa":false,"landing_page_url":"https://eprints.soton.ac.uk/253241/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/b51aaed8-a12e-48e1-9e7f-dc3b765444b6","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/local-linear-logic-for-locality-consciousness-in-multiset-transformation(b51aaed8-a12e-48e1-9e7f-dc3b765444b6).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"7th Programming languages: implementations, logics and programs (PLILP), LNCS 982, 357 - 379","raw_type":"info:eu-repo/semantics/bookpart"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/fcb99604-33f3-4e5e-a780-c6e7a57d30ac","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/local-linear-logic-for-locality-consciousness-in-multiset-transformation(fcb99604-33f3-4e5e-a780-c6e7a57d30ac).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Computer Science, 982, 357 - 379. Springer Verlag","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:publications/fc149029-eec2-4543-b652-32d06b39e0de","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/fc149029-eec2-4543-b652-32d06b39e0de","pdf_url":"https://research.utwente.nl/files/6145628/PLILP95_local_linear_logic.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"McEvoy, H, Hermenegildo, M V (ed.), Swierstra, S D (ed.) & Hartel, P H 1995, 'Local Linear Logic for Locality Consciousness in Multiset Transformation', pp. 357-379. https://doi.org/10.1007/BFb0026830","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2117150083.pdf","grobid_xml":"https://content.openalex.org/works/W2117150083.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W326353637","https://openalex.org/W1503979119","https://openalex.org/W1507311036","https://openalex.org/W1521293061","https://openalex.org/W1536192837","https://openalex.org/W1539688997","https://openalex.org/W1572370762","https://openalex.org/W1857327297","https://openalex.org/W1963499108","https://openalex.org/W1971256104","https://openalex.org/W1976195354","https://openalex.org/W1977898832","https://openalex.org/W1988327784","https://openalex.org/W1989713129","https://openalex.org/W1992868830","https://openalex.org/W2005952505","https://openalex.org/W2012968289","https://openalex.org/W2017279115","https://openalex.org/W2021005328","https://openalex.org/W2028613837","https://openalex.org/W2043279475","https://openalex.org/W2047742553","https://openalex.org/W2054571652","https://openalex.org/W2070324762","https://openalex.org/W2074070481","https://openalex.org/W2074125070","https://openalex.org/W2078432227","https://openalex.org/W2095436832","https://openalex.org/W2161307885","https://openalex.org/W2273707152","https://openalex.org/W2294530123","https://openalex.org/W2407299183","https://openalex.org/W2531351704","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W3145063512","https://openalex.org/W6630293523","https://openalex.org/W6631243196","https://openalex.org/W6632278185","https://openalex.org/W6633965075","https://openalex.org/W6639251974","https://openalex.org/W6655067970","https://openalex.org/W6657548313","https://openalex.org/W6662659846","https://openalex.org/W6697099744","https://openalex.org/W6713660786"],"related_works":["https://openalex.org/W91938043","https://openalex.org/W3129725704","https://openalex.org/W2070801544","https://openalex.org/W2072493788","https://openalex.org/W1988438613","https://openalex.org/W2077853828","https://openalex.org/W1487472891","https://openalex.org/W1508065823","https://openalex.org/W2348616540","https://openalex.org/W3036972880"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}