{"id":"https://openalex.org/W2059524947","doi":"https://doi.org/10.1007/978-3-319-05119-2_6","title":"Types for Resources in $$\\psi $$-calculi","display_name":"Types for Resources in $$\\psi $$-calculi","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2059524947","doi":"https://doi.org/10.1007/978-3-319-05119-2_6","mag":"2059524947"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-05119-2_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-05119-2_6","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":"http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060535239","display_name":"Hans H\u00fcttel","orcid":"https://orcid.org/0000-0002-4603-5407"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Hans H\u00fcttel","raw_affiliation_strings":["Department of Computer Science, Aalborg University, Aalborg, Denmark","Department of Computer Science, Aalborg  University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Department of Computer Science, Aalborg  University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060535239"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.1707,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88218373,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"102"},"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.9987000226974487,"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.9987000226974487,"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.9973000288009644,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7997888922691345},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.3373981714248657}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7997888922691345},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.3373981714248657}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-05119-2_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-05119-2_6","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:pure.atira.dk:publications/9afd59e4-4e72-47b6-89df-9a6095520d9d","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/9afd59e4-4e72-47b6-89df-9a6095520d9d","pdf_url":"http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"H\u00fcttel, H 2013, Types for resources in psi-calculi. in M Abadi & A Lluch Lafuente (eds), TGC 2013 : 8th International Symposium on Trustworthy Global Computing (TGC 2013). vol. 8358, Springer Publishing Company, pp. 83-102, 8th International Symposium on Trustworthy Global Computing, Buenos Aires, Argentina, 30/08/2013. < http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5 >","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/ef41ed73-633b-4109-8efb-b3186ff53c1e","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/ef41ed73-633b-4109-8efb-b3186ff53c1e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"H\u00fcttel, H 2014, Types for resources in \u03c6-calculi. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8358 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8358 LNCS, pp. 83-102, 8th International Symposium on Trustworthy Global Computing, Buenos Aires, Argentina, 30/08/2013. https://doi.org/10.1007/978-3-319-05119-2_6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/9afd59e4-4e72-47b6-89df-9a6095520d9d","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/9afd59e4-4e72-47b6-89df-9a6095520d9d","pdf_url":"http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"H\u00fcttel, H 2013, Types for resources in psi-calculi. in M Abadi & A Lluch Lafuente (eds), TGC 2013 : 8th International Symposium on Trustworthy Global Computing (TGC 2013). vol. 8358, Springer Publishing Company, pp. 83-102, 8th International Symposium on Trustworthy Global Computing, Buenos Aires, Argentina, 30/08/2013. < http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5 >","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.5799999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2059524947.pdf","grobid_xml":"https://content.openalex.org/works/W2059524947.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W86813616","https://openalex.org/W1543368493","https://openalex.org/W1560340731","https://openalex.org/W1569639294","https://openalex.org/W1641302344","https://openalex.org/W1663174014","https://openalex.org/W2028016184","https://openalex.org/W2042360145","https://openalex.org/W2046798675","https://openalex.org/W2065261520","https://openalex.org/W2072572819","https://openalex.org/W2095436832","https://openalex.org/W2105683431","https://openalex.org/W2126925085","https://openalex.org/W2128280268","https://openalex.org/W2133867632","https://openalex.org/W2136877520","https://openalex.org/W2139782069","https://openalex.org/W2295192560","https://openalex.org/W2911865844","https://openalex.org/W2950251922","https://openalex.org/W3140772287"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":6}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}