{"id":"https://openalex.org/W1563482075","doi":"https://doi.org/10.1007/bfb0026564","title":"Simulating guarded programs in linear logic","display_name":"Simulating guarded programs in linear logic","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1563482075","doi":"https://doi.org/10.1007/bfb0026564","mag":"1563482075"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0026564","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0026564","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048798287","display_name":"Max Kanovich","orcid":"https://orcid.org/0000-0002-7502-1653"},"institutions":[{"id":"https://openalex.org/I128931577","display_name":"Russian State University for the Humanities","ror":"https://ror.org/0473ch268","country_code":"RU","type":"education","lineage":["https://openalex.org/I128931577"]},{"id":"https://openalex.org/I201537933","display_name":"Tohoku University","ror":"https://ror.org/01dq60k83","country_code":"JP","type":"education","lineage":["https://openalex.org/I201537933"]}],"countries":["JP","RU"],"is_corresponding":true,"raw_author_name":"Max I. Kanovich","raw_affiliation_strings":["Department of Computer and Mathematical Sciences Graduate School of Information Sciences, Tohoku University, 980, Sendai, Japan","Russian Humanities State University, Moscow, Russia","Department of Computer and Mathematical Sciences Graduate School of Information Sciences, Tohoku University, Sendai, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Mathematical Sciences Graduate School of Information Sciences, Tohoku University, 980, Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]},{"raw_affiliation_string":"Russian Humanities State University, Moscow, Russia","institution_ids":["https://openalex.org/I128931577"]},{"raw_affiliation_string":"Department of Computer and Mathematical Sciences Graduate School of Information Sciences, Tohoku University, Sendai, Japan","institution_ids":["https://openalex.org/I201537933"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048798287"],"corresponding_institution_ids":["https://openalex.org/I128931577","https://openalex.org/I201537933"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5558,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64354367,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"45","last_page":"69"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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.9988999962806702,"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/petri-net","display_name":"Petri net","score":0.8178309202194214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.786733865737915},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.6502736210823059},{"id":"https://openalex.org/keywords/dijkstras-algorithm","display_name":"Dijkstra's algorithm","score":0.5814694762229919},{"id":"https://openalex.org/keywords/grasp","display_name":"GRASP","score":0.5774229764938354},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5687905550003052},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5270535945892334},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5234032273292542},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.45907920598983765},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4296780228614807},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.40052539110183716},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35357293486595154},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.12489673495292664},{"id":"https://openalex.org/keywords/shortest-path-problem","display_name":"Shortest path problem","score":0.07423904538154602}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8178309202194214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.786733865737915},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.6502736210823059},{"id":"https://openalex.org/C173870130","wikidata":"https://www.wikidata.org/wiki/Q8548","display_name":"Dijkstra's algorithm","level":4,"score":0.5814694762229919},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.5774229764938354},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5687905550003052},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5270535945892334},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5234032273292542},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.45907920598983765},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4296780228614807},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.40052539110183716},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35357293486595154},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.12489673495292664},{"id":"https://openalex.org/C22590252","wikidata":"https://www.wikidata.org/wiki/Q1058754","display_name":"Shortest path problem","level":3,"score":0.07423904538154602}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0026564","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0026564","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W162844124","https://openalex.org/W272982077","https://openalex.org/W389100828","https://openalex.org/W1502726770","https://openalex.org/W1533537820","https://openalex.org/W1538155760","https://openalex.org/W1571141480","https://openalex.org/W1971256104","https://openalex.org/W1989788631","https://openalex.org/W1996109622","https://openalex.org/W2011039300","https://openalex.org/W2012968289","https://openalex.org/W2013504313","https://openalex.org/W2017315323","https://openalex.org/W2021289373","https://openalex.org/W2066210260","https://openalex.org/W2072666085","https://openalex.org/W2082529483","https://openalex.org/W2095436832","https://openalex.org/W2103953153","https://openalex.org/W2106001218","https://openalex.org/W2122284739","https://openalex.org/W2127478938","https://openalex.org/W2127889926","https://openalex.org/W2142191554","https://openalex.org/W2151402914","https://openalex.org/W2164003033","https://openalex.org/W2911865844"],"related_works":["https://openalex.org/W44642044","https://openalex.org/W2001027846","https://openalex.org/W2086035554","https://openalex.org/W2022937548","https://openalex.org/W2127478938","https://openalex.org/W2388232299","https://openalex.org/W1513400763","https://openalex.org/W4232524643","https://openalex.org/W1514277208","https://openalex.org/W1588129281"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}