{"id":"https://openalex.org/W1968854803","doi":"https://doi.org/10.1007/bf03037066","title":"Bounded buffer communication in Concurrent Prolog","display_name":"Bounded buffer communication in Concurrent Prolog","publication_year":1985,"publication_date":"1985-06-01","ids":{"openalex":"https://openalex.org/W1968854803","doi":"https://doi.org/10.1007/bf03037066","mag":"1968854803"},"language":"en","primary_location":{"id":"doi:10.1007/bf03037066","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf03037066","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","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/A5083256815","display_name":"Akikazu Takeuchi","orcid":"https://orcid.org/0000-0002-5591-1624"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akikazu Takeuchi","raw_affiliation_strings":["ICOT Research Center, Institute for New Generation Computer Technology, Mita-Kokusai Bldg. 21F, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan","Institute for New Generation Computer Technology#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICOT Research Center, Institute for New Generation Computer Technology, Mita-Kokusai Bldg. 21F, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan","institution_ids":[]},{"raw_affiliation_string":"Institute for New Generation Computer Technology#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100811067","display_name":"Koichi Furukawa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koichi Furukawa","raw_affiliation_strings":["ICOT Research Center, Institute for New Generation Computer Technology, Mita-Kokusai Bldg. 21F, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan","Institute for New Generation Computer Technology#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICOT Research Center, Institute for New Generation Computer Technology, Mita-Kokusai Bldg. 21F, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan","institution_ids":[]},{"raw_affiliation_string":"Institute for New Generation Computer Technology#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":null,"fwci":4.445,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.9440634,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"2","first_page":"145","last_page":"155"},"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.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9152898192405701},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7797576189041138},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6000279188156128},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5847971439361572},{"id":"https://openalex.org/keywords/buffer","display_name":"Buffer (optical fiber)","score":0.4532916247844696},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38809770345687866},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3329789638519287},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3250454068183899}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9152898192405701},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7797576189041138},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6000279188156128},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5847971439361572},{"id":"https://openalex.org/C145018004","wikidata":"https://www.wikidata.org/wiki/Q4985944","display_name":"Buffer (optical fiber)","level":2,"score":0.4532916247844696},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38809770345687866},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3329789638519287},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3250454068183899},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf03037066","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf03037066","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","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":5,"referenced_works":["https://openalex.org/W2003990235","https://openalex.org/W2342398292","https://openalex.org/W2990033912","https://openalex.org/W6631929662","https://openalex.org/W6681349098"],"related_works":["https://openalex.org/W1485791179","https://openalex.org/W1999702466","https://openalex.org/W193767869","https://openalex.org/W33240934","https://openalex.org/W2063928587","https://openalex.org/W1480341462","https://openalex.org/W2088766201","https://openalex.org/W1912336851","https://openalex.org/W2286255795","https://openalex.org/W2123991216"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}