{"id":"https://openalex.org/W163836217","doi":null,"title":"Session Types for Inter-Process Communication","display_name":"Session Types for Inter-Process Communication","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W163836217","mag":"163836217"},"language":"en","primary_location":{"id":"mag:163836217","doi":null,"is_oa":false,"landing_page_url":"http://homepages.di.fc.ul.pt/~vv/papers/gay.vasconcelos.ravara_session-types-communication.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5016342119","display_name":"VASCO THUDICHUM VASCONCELOS","orcid":"https://orcid.org/0000-0002-9539-8861","observed_orcids":["https://orcid.org/0000-0002-9539-8861"]},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vasco T. Vasconcelos","raw_affiliation_strings":["University of Lisbon"],"raw_orcid":"https://orcid.org/0000-0002-9539-8861","affiliations":[{"raw_affiliation_string":"University of Lisbon","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061342406","display_name":"Ant\u00f3nio Ravara","orcid":"https://orcid.org/0000-0001-8074-0380","observed_orcids":["https://orcid.org/0000-0001-8074-0380"]},"institutions":[{"id":"https://openalex.org/I4405264366","display_name":"Universidade T\u00e9cnica de Lisboa","ror":"https://ror.org/01qc02b16","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4405264366"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ant\u00f3nio Ravara","raw_affiliation_strings":["Technical University of Lisbon"],"raw_orcid":"https://orcid.org/0000-0001-8074-0380","affiliations":[{"raw_affiliation_string":"Technical University of Lisbon","institution_ids":["https://openalex.org/I4405264366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.0863,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.96448703,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":99},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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":9.999999747378752e-05,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0,"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/session-types","display_name":"session types","score":1.0},{"id":"https://openalex.org/keywords/interprocess-communication","display_name":"interprocess communication","score":0.984000027179718},{"id":"https://openalex.org/keywords/static-type-checking","display_name":"static type checking","score":0.6230000257492065},{"id":"https://openalex.org/keywords/protocol-specification","display_name":"protocol specification","score":0.6029999852180481},{"id":"https://openalex.org/keywords/channel-types","display_name":"channel types","score":0.734000027179718},{"id":"https://openalex.org/keywords/aliasing","display_name":"aliasing","score":0.6019999980926514},{"id":"https://openalex.org/keywords/subject-reduction","display_name":"subject reduction","score":0.5379999876022339},{"id":"https://openalex.org/keywords/concurrent-object-oriented-languages","display_name":"concurrent object-oriented languages","score":0.7089999914169312},{"id":"https://openalex.org/keywords/message-passing","display_name":"message passing","score":0.3089999854564667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8030838966369629},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7224767208099365},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.5702976584434509},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.5258862376213074},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.5134378671646118},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4764852225780487},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4760589301586151},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.45634540915489197},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.44070854783058167},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4365059435367584},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4225690960884094},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.2288752794265747},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18868210911750793},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09844377636909485},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:163836217","doi":null,"is_oa":false,"landing_page_url":"http://homepages.di.fc.ul.pt/~vv/papers/gay.vasconcelos.ravara_session-types-communication.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W224168884","https://openalex.org/W1498393124","https://openalex.org/W1511544530","https://openalex.org/W1512225253","https://openalex.org/W1586303503","https://openalex.org/W1602172600","https://openalex.org/W1784055113","https://openalex.org/W1941373452","https://openalex.org/W1980939032","https://openalex.org/W1995469872","https://openalex.org/W1998070736","https://openalex.org/W2013672985","https://openalex.org/W2044550200","https://openalex.org/W2070111977","https://openalex.org/W2128932399","https://openalex.org/W2164293299","https://openalex.org/W2166944884","https://openalex.org/W4410799177"],"related_works":["https://openalex.org/W7098939357","https://openalex.org/W2585947240","https://openalex.org/W2105716349","https://openalex.org/W7095191940","https://openalex.org/W7005957987","https://openalex.org/W7096256429","https://openalex.org/W1580092140","https://openalex.org/W2979911878","https://openalex.org/W7096506872","https://openalex.org/W1991069274"],"abstract_inverted_index":{"We":[0],"define":[1],"a":[2,28,46,132,145],"language":[3],"whose":[4],"type":[5],"system,":[6],"incorporating":[7],"session":[8,24,56],"types,":[9],"allows":[10],"complex":[11],"protocols":[12],"to":[13,144],"be":[14],"specified":[15],"by":[16,20],"types":[17,36,57,92,97,104,111],"and":[18,48,77,101,109,124,130],"verified":[19],"static":[21],"typechecking.":[22],"A":[23],"type,":[25],"associated":[26],"with":[27,73],"communication":[29],"channel,":[30],"specifies":[31],"not":[32,105],"only":[33,106],"the":[34,42,50,62,65,91,121],"data":[35],"of":[37,45,53,64,93,127],"individual":[38],"messages,":[39],"but":[40,112],"also":[41,113],"state":[43],"transitions":[44],"protocol":[47],"hence":[49],"allowable":[51],"sequences":[52],"messages.":[54],"Although":[55],"are":[58],"well":[59],"understood":[60],"in":[61,80,90,116],"context":[63],"\u03c0-calculus,":[66],"our":[67,95,102,128],"formulation":[68],"is":[69,78],"based":[70],"on":[71],"\u03bb-calculus":[72],"side-effecting":[74],"input/output":[75],"operations":[76],"different":[79],"significant":[81],"ways.":[82],"Our":[83],"typing":[84,125],"judgements":[85],"statically":[86,98],"describe":[87,114],"dynamic":[88],"changes":[89,115],"channels,":[94],"channel":[96,117],"track":[99],"aliasing,":[100],"function":[103],"specify":[107],"argument":[108],"result":[110],"types.":[118],"After":[119],"formalising":[120],"syntax,":[122],"semantics":[123],"rules":[126],"language,":[129],"proving":[131],"subject":[133],"reduction":[134],"theorem,":[135],"we":[136],"outline":[137],"some":[138],"possibilities":[139],"for":[140],"extending":[141],"this":[142],"work":[143],"concurrent":[146],"object-oriented":[147],"language.":[148]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}