{"id":"https://openalex.org/W1555778842","doi":"https://doi.org/10.1007/s00236-007-0040-5","title":"Decision problems for pushdown threads","display_name":"Decision problems for pushdown threads","publication_year":2007,"publication_date":"2007-03-21","ids":{"openalex":"https://openalex.org/W1555778842","doi":"https://doi.org/10.1007/s00236-007-0040-5","mag":"1555778842"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-007-0040-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-007-0040-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-007-0040-5.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00236-007-0040-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032380170","display_name":"J.A. Bergstra","orcid":"https://orcid.org/0000-0003-2492-506X"},"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"]},{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jan A. Bergstra","raw_affiliation_strings":["Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","Utrecht University, Department of Philosophy, Applied Logic Group, Utrecht, The Netherlands","University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands and Department of Philosophy, Applied Logic Group, Utrecht University, Utrecht, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Utrecht University, Department of Philosophy, Applied Logic Group, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands and Department of Philosophy, Applied Logic Group, Utrecht University, Utrecht, The Netherlands#TAB#","institution_ids":["https://openalex.org/I193662353","https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110246103","display_name":"I. Bethke","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":false,"raw_author_name":"Inge Bethke","raw_affiliation_strings":["Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","af1 University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"af1 University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086189547","display_name":"Alban Ponse","orcid":"https://orcid.org/0000-0001-6061-5355"},"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":"Alban Ponse","raw_affiliation_strings":["Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","af1 University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Science, Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"af1 University of Amsterdam, Faculty of Science, Programming Research Group, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032380170"],"corresponding_institution_ids":["https://openalex.org/I193662353","https://openalex.org/I887064364"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":10.7076,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.98096989,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"44","issue":"2","first_page":"75","last_page":"90"},"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.9987999796867371,"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.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9929999709129333,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/thread","display_name":"Thread (computing)","score":0.7500492334365845},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7415791749954224},{"id":"https://openalex.org/keywords/embedded-pushdown-automaton","display_name":"Embedded pushdown automaton","score":0.7084972262382507},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6675105690956116},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.6550425291061401},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.6275491714477539},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.6017455458641052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5235186219215393},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4460761547088623},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32224953174591064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2920295000076294},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26754364371299744},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.11914294958114624},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.08408331871032715},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.06376737356185913},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.05657494068145752}],"concepts":[{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.7500492334365845},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7415791749954224},{"id":"https://openalex.org/C27034413","wikidata":"https://www.wikidata.org/wiki/Q5370010","display_name":"Embedded pushdown automaton","level":5,"score":0.7084972262382507},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6675105690956116},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.6550425291061401},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.6275491714477539},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.6017455458641052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5235186219215393},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4460761547088623},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32224953174591064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2920295000076294},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26754364371299744},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.11914294958114624},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.08408331871032715},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.06376737356185913},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.05657494068145752},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.0},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.0},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.0}],"mesh":[],"locations_count":12,"locations":[{"id":"doi:10.1007/s00236-007-0040-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-007-0040-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-007-0040-5.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/7682dc28-47dc-4243-acf2-6ac5434cf595","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(7682dc28-47dc-4243-acf2-6ac5434cf595).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":"Bergstra, J A, Bethke, I & Ponse, A 2007, 'Decision problems for pushdown threads', Acta Informatica, vol. 44, pp. 75-90. https://doi.org/10.1007/s00236-007-0040-5","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.5847","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.5847","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://staff.science.uva.nl/~alban/publist/PRG0502.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/3c77e8ec-98ef-4267-981e-1d43ff879b8e","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(3c77e8ec-98ef-4267-981e-1d43ff879b8e).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":"Bergstra, J A, Bethke, I & Ponse, A 2005, Decision Problems for Pushdown Threads. PRG0502, Amsterdam.","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/7bb501de-a721-46a2-a1db-ec8e210ca1bf","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(7bb501de-a721-46a2-a1db-ec8e210ca1bf).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":"Bergstra, J A, Bethke, I & Ponse, A 2006, 'Decision problems for pushdown threads', The Bulletin of Symbolic Logic, vol. 12, pp. 311-312.","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dare.uva.nl:publications/7bb501de-a721-46a2-a1db-ec8e210ca1bf","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(7bb501de-a721-46a2-a1db-ec8e210ca1bf).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":"Bergstra, J A, Bethke, I & Ponse, A 2006, 'Decision problems for pushdown threads', The Bulletin of Symbolic Logic, vol. 12, pp. 311-312.","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dspace.library.uu.nl:1874/21417","is_oa":false,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/21417","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/21417","is_oa":false,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/21417","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":"Acta Informatica, 44, 75. Springer-Verlag","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/3c77e8ec-98ef-4267-981e-1d43ff879b8e","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(3c77e8ec-98ef-4267-981e-1d43ff879b8e).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":"","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/7682dc28-47dc-4243-acf2-6ac5434cf595","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(7682dc28-47dc-4243-acf2-6ac5434cf595).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":"Acta Informatica, 44, 75 - 90. Springer New York","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/7bb501de-a721-46a2-a1db-ec8e210ca1bf","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/decision-problems-for-pushdown-threads(7bb501de-a721-46a2-a1db-ec8e210ca1bf).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":"The Bulletin of Symbolic Logic, 12, 311 - 312. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"},{"id":"mag:2578481018","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s00236-007-0040-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-007-0040-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-007-0040-5.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1555778842.pdf","grobid_xml":"https://content.openalex.org/works/W1555778842.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W51714471","https://openalex.org/W1540862879","https://openalex.org/W1572219859","https://openalex.org/W1575012333","https://openalex.org/W1965715676","https://openalex.org/W1972478730","https://openalex.org/W1993997214","https://openalex.org/W2005456631","https://openalex.org/W2024987067","https://openalex.org/W2051275734","https://openalex.org/W2061970672","https://openalex.org/W2078050093","https://openalex.org/W2111753126","https://openalex.org/W2114247177","https://openalex.org/W2115082275","https://openalex.org/W2140920629","https://openalex.org/W2171380900"],"related_works":["https://openalex.org/W2578481018","https://openalex.org/W1976217110","https://openalex.org/W173344079","https://openalex.org/W2157772625","https://openalex.org/W1938144528","https://openalex.org/W1541121233","https://openalex.org/W2808972598","https://openalex.org/W2037573407","https://openalex.org/W2807948224","https://openalex.org/W2167300551","https://openalex.org/W2595574924","https://openalex.org/W1645602907","https://openalex.org/W2171380900","https://openalex.org/W1486594037","https://openalex.org/W1575323533","https://openalex.org/W2596454331","https://openalex.org/W2123007131","https://openalex.org/W2913989085","https://openalex.org/W2096484644","https://openalex.org/W1484095934"],"abstract_inverted_index":{"Threads":[0,19],"as":[1,26],"contained":[2],"in":[3,14],"a":[4,29,32,37,59],"thread":[5,30,49],"algebra":[6],"emerge":[7],"from":[8,12],"the":[9,63,69],"behavioral":[10],"abstraction":[11],"programs":[13],"an":[15,56],"appropriate":[16],"program":[17],"algebra.":[18],"may":[20],"make":[21],"use":[22],"of":[23,41,58],"services":[24],"such":[25],"stacks,":[27],"and":[28],"using":[31],"single":[33],"stack":[34],"is":[35,44,51,54,66,72],"called":[36],"pushdown":[38,42,48],"thread.":[39],"Equivalence":[40],"threads":[43],"shown":[45],"decidable":[46],"whereas":[47,68],"inclusion":[50,70],"undecidable.":[52],"This":[53],"again":[55],"example":[57],"borderline":[60],"crossing":[61],"where":[62],"equivalence":[64],"problem":[65,71],"decidable,":[67],"not.":[73]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}