{"id":"https://openalex.org/W3009745609","doi":"https://doi.org/10.3103/s0146411619070022","title":"Even Simple \u03c0-Calculus Processes Are Difficult to Analyze","display_name":"Even Simple \u03c0-Calculus Processes Are Difficult to Analyze","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W3009745609","doi":"https://doi.org/10.3103/s0146411619070022","mag":"3009745609"},"language":"en","primary_location":{"id":"doi:10.3103/s0146411619070022","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411619070022","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5066632817","display_name":"M. M. Abbas","orcid":"https://orcid.org/0000-0001-8019-7090"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"M. M. Abbas","raw_affiliation_strings":["Moscow State University, 119991, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062447638","display_name":"\u0412. \u0410. \u0417\u0430\u0445\u0430\u0440\u043e\u0432","orcid":"https://orcid.org/0000-0002-3794-9565"},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"V. A. Zakharov","raw_affiliation_strings":["Ivannikov Institute of System Programming, Russian Academy of Sciences (ISP RAS), 109004, Moscow, Russia","National Research University University Higher School of Economy, 101000, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute of System Programming, Russian Academy of Sciences (ISP RAS), 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"National Research University University Higher School of Economy, 101000, Moscow, Russia","institution_ids":["https://openalex.org/I118501908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062447638","https://openalex.org/A5066632817"],"corresponding_institution_ids":["https://openalex.org/I118501908","https://openalex.org/I19880235","https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.23797104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"53","issue":"7","first_page":"573","last_page":"583"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998000264167786,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9975000023841858,"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"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9972000122070312,"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.770080029964447},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.642635703086853},{"id":"https://openalex.org/keywords/pi-calculus","display_name":"Pi calculus","score":0.5737805366516113},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5444324016571045},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5166097283363342},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5039476752281189},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.48528119921684265},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44793403148651123},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4476071894168854},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3462286591529846},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2863483428955078}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.770080029964447},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.642635703086853},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.5737805366516113},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5444324016571045},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5166097283363342},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5039476752281189},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.48528119921684265},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44793403148651123},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4476071894168854},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3462286591529846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2863483428955078},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3103/s0146411619070022","is_oa":false,"landing_page_url":"https://doi.org/10.3103/s0146411619070022","pdf_url":null,"source":{"id":"https://openalex.org/S17203304","display_name":"Automatic Control and Computer Sciences","issn_l":"0146-4116","issn":["0146-4116","1558-108X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Automatic Control and Computer Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W176419977","https://openalex.org/W1505127333","https://openalex.org/W1542190420","https://openalex.org/W1545681222","https://openalex.org/W1562901937","https://openalex.org/W1565697634","https://openalex.org/W1579090196","https://openalex.org/W1591745554","https://openalex.org/W1603799276","https://openalex.org/W1973054120","https://openalex.org/W1980456975","https://openalex.org/W1994676271","https://openalex.org/W1995759750","https://openalex.org/W2002622794","https://openalex.org/W2007006124","https://openalex.org/W2009426964","https://openalex.org/W2013689938","https://openalex.org/W2029693536","https://openalex.org/W2042609207","https://openalex.org/W2088096459","https://openalex.org/W2088500281","https://openalex.org/W2104270509","https://openalex.org/W2114497629","https://openalex.org/W2124522379","https://openalex.org/W2128932399","https://openalex.org/W2138519564","https://openalex.org/W2153921791","https://openalex.org/W2159435827","https://openalex.org/W2170626879","https://openalex.org/W2259436857","https://openalex.org/W2336945419","https://openalex.org/W2476379118","https://openalex.org/W2521663436","https://openalex.org/W3003983481"],"related_works":["https://openalex.org/W2610134858","https://openalex.org/W2346414977","https://openalex.org/W2133915418","https://openalex.org/W2166575037","https://openalex.org/W2381735521","https://openalex.org/W2158162924","https://openalex.org/W2163278217","https://openalex.org/W2370672400","https://openalex.org/W2107459132","https://openalex.org/W2163915384"],"abstract_inverted_index":{"Mathematical":[0],"models":[1],"of":[2,8,20,50,74,101,107,129,136,141],"distributed":[3],"computations,":[4],"based":[5],"on":[6],"calculus":[7],"mobile":[9],"processes":[10,52,61,69],"(\u03c0-calculus)":[11],"are":[12,87],"widely":[13],"used":[14],"for":[15,46,57,59,68,115,122],"checking":[16,85,135],"information":[17,138],"security":[18,139],"properties":[19,140],"cryptographic":[21],"protocols.":[22],"Since":[23],"$$\\pi":[24],"$$-calculus":[25],"is":[26,33,42,95,110,144],"a":[27,71,145],"Turing-complete":[28],"computation":[29],"model,":[30],"this":[31,94,108],"problem":[32],"unsolvable":[34],"in":[35,66,80],"the":[36,83,98,102,116,134,137],"general":[37],"case.":[38],"Therefore,":[39],"its":[40],"study":[41],"carried":[43],"out":[44],"only":[45,130],"some":[47],"special":[48],"classes":[49],"\u03c0-calculus":[51,103,132],"with":[53,62,70],"restricted":[54],"computational":[55],"capabilities,":[56],"example,":[58],"nonrecursive":[60],"all":[63],"runs":[64],"limited":[65,72],"length,":[67],"number":[73],"parallel":[75],"components,":[76],"etc.":[77],"However,":[78],"even":[79,114],"these":[81,142],"cases":[82],"proposed":[84],"procedures":[86],"very":[88,99],"time":[89],"consuming.":[90],"We":[91],"assume":[92],"that":[93,113,126],"due":[96],"to":[97,111],"nature":[100],"processes.":[104],"The":[105],"goal":[106],"paper":[109],"show":[112],"weakest":[117],"passive":[118],"adversary":[119],"model":[120],"and":[121],"relatively":[123],"simple":[124],"protocols":[125,143],"make":[127],"use":[128],"basic":[131],"operations,":[133],"co-NP-complete":[146],"problem.":[147]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-24T08:02:53.985720","created_date":"2025-10-10T00:00:00"}