{"id":"https://openalex.org/W2113404752","doi":"https://doi.org/10.1007/978-3-642-32940-1_1","title":"Turing Meets Milner","display_name":"Turing Meets Milner","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W2113404752","doi":"https://doi.org/10.1007/978-3-642-32940-1_1","mag":"2113404752"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-32940-1_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-32940-1_1","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://ir.cwi.nl/pub/20744/20744B.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110382800","display_name":"J. C. M. Baeten","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jos C. M. Baeten","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI), P.O.\u00a0Box\u00a094079, 1090 GB, Amsterdam, The Netherlands","Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), P.O.\u00a0Box\u00a094079, 1090 GB, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067908378","display_name":"Bas Luttik","orcid":"https://orcid.org/0000-0001-6710-8436"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Luttik","raw_affiliation_strings":["Department of Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081\u00a0HV, Amsterdam, The Netherlands","Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081\u00a0HV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036458186","display_name":"Paul van Tilburg","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Paul van Tilburg","raw_affiliation_strings":["Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, P.O.\u00a0Box\u00a0513, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Division of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110382800"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I83019370"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3846,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61742643,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8455274701118469},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.832616925239563},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.7949333190917969},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.7128676176071167},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6002020835876465},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5522003769874573},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.5387192368507385},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.4393221139907837},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39736437797546387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8455274701118469},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.832616925239563},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.7949333190917969},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.7128676176071167},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6002020835876465},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5522003769874573},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.5387192368507385},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.4393221139907837},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39736437797546387}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1007/978-3-642-32940-1_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-32940-1_1","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/7898be58-345b-474c-b244-5f1ec72cdb81","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/turing-meets-milner(7898be58-345b-474c-b244-5f1ec72cdb81).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":"Baeten, J C M, Luttik, B & van Tilburg, P 2012, Turing meets Milner. in M Koutny & I Ulidowski (eds), CONCUR 2012 \u2013 Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings. Lecture Notes in Computer Science, vol. 7454, Heidelberg, pp. 1-20, 23rd International Conference on Concurrency Theory, CONCUR 2012, Newcastle upon Tyne, United Kingdom, 4/09/12. https://doi.org/10.1007/978-3-642-32940-1_1","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/574b3dc3-f69b-459c-a16e-57a80f4087ba","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/574b3dc3-f69b-459c-a16e-57a80f4087ba","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Baeten, J C M, Luttik, S P & Tilburg, van, P J A 2012, Turing meets Milner. in M Koutny & I Ulidowski (eds), CONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings). Lecture Notes in Computer Science, vol. 7454, Springer, Berlin, pp. 1-20, conference; 23rd International Conference on Concurrency Theory (CONCUR 2012), 1/01/12. https://doi.org/10.1007/978-3-642-32940-1_1","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cwi.nl:20744","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/20744","pdf_url":"https://ir.cwi.nl/pub/20744/20744B.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:736367","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=736367","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:736367","is_oa":false,"landing_page_url":"http://repository.tue.nl/736367","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","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":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/574b3dc3-f69b-459c-a16e-57a80f4087ba","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/574b3dc3-f69b-459c-a16e-57a80f4087ba","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":"CONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings), 1 - 20","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/7898be58-345b-474c-b244-5f1ec72cdb81","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/turing-meets-milner(7898be58-345b-474c-b244-5f1ec72cdb81).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":"CONCUR 2012 \u2013 Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings, 1 - 20","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:cwi.nl:20744","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/20744","pdf_url":"https://ir.cwi.nl/pub/20744/20744B.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2113404752.pdf","grobid_xml":"https://content.openalex.org/works/W2113404752.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W110490872","https://openalex.org/W119570465","https://openalex.org/W623593394","https://openalex.org/W1483620970","https://openalex.org/W1485707736","https://openalex.org/W1547562281","https://openalex.org/W1584306444","https://openalex.org/W1985161650","https://openalex.org/W2007809070","https://openalex.org/W2093236316","https://openalex.org/W2103718058","https://openalex.org/W2117716713","https://openalex.org/W2118229393","https://openalex.org/W2126160338","https://openalex.org/W2134723009","https://openalex.org/W2137865376","https://openalex.org/W2142611800","https://openalex.org/W2147072481","https://openalex.org/W2160548641","https://openalex.org/W2167018151","https://openalex.org/W2169491147","https://openalex.org/W2169869634","https://openalex.org/W2491312619","https://openalex.org/W2497620028","https://openalex.org/W2616044496","https://openalex.org/W2619196861","https://openalex.org/W2678861921","https://openalex.org/W2912614885","https://openalex.org/W3144368627","https://openalex.org/W4205112415","https://openalex.org/W4234381234","https://openalex.org/W4239934034","https://openalex.org/W4253769910"],"related_works":["https://openalex.org/W4324016496","https://openalex.org/W2273345230","https://openalex.org/W4285436350","https://openalex.org/W4254404873","https://openalex.org/W3160192459","https://openalex.org/W4231495498","https://openalex.org/W4312201671","https://openalex.org/W1501224804","https://openalex.org/W2280616180","https://openalex.org/W3188669517"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}