{"id":"https://openalex.org/G2864570838","display_name":"Multiparty Session Types: Theory and Conversation-Oriented Programming","description":"Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.","funder_award_id":"EP/G015481/1","funder":{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","doi":"https://doi.org/10.13039/501100000266"},"funded_outputs":["https://openalex.org/W18866292","https://openalex.org/W59370666","https://openalex.org/W84711077","https://openalex.org/W86241532","https://openalex.org/W105707553","https://openalex.org/W127832157","https://openalex.org/W130341670","https://openalex.org/W136985508","https://openalex.org/W137641731","https://openalex.org/W146875802","https://openalex.org/W147632993","https://openalex.org/W156140200","https://openalex.org/W1412424832","https://openalex.org/W1543606432","https://openalex.org/W1544057780","https://openalex.org/W1546998123","https://openalex.org/W1599340713","https://openalex.org/W1602067946","https://openalex.org/W1611165480","https://openalex.org/W1821024690","https://openalex.org/W1827556205","https://openalex.org/W1859947016","https://openalex.org/W1930375285","https://openalex.org/W1971942224","https://openalex.org/W1989371806","https://openalex.org/W1991246212","https://openalex.org/W1991524949","https://openalex.org/W1991621238","https://openalex.org/W2003314287","https://openalex.org/W2005274596","https://openalex.org/W2015932520","https://openalex.org/W2035305513","https://openalex.org/W2060704426","https://openalex.org/W2075426808","https://openalex.org/W2106197845","https://openalex.org/W2119545977","https://openalex.org/W2119992090","https://openalex.org/W2127884079","https://openalex.org/W2129843408","https://openalex.org/W2135716933","https://openalex.org/W2141928434","https://openalex.org/W2142988323","https://openalex.org/W2162077931","https://openalex.org/W2164025962","https://openalex.org/W2172037110","https://openalex.org/W2203985683","https://openalex.org/W2212008127","https://openalex.org/W2219871211","https://openalex.org/W2325347394","https://openalex.org/W2342200509","https://openalex.org/W2400032228","https://openalex.org/W2995356440","https://openalex.org/W4235655521","https://openalex.org/W4240807674","https://openalex.org/W4247564816","https://openalex.org/W4304957609"],"funded_outputs_count":56,"parent_awards":[],"sub_awards":[],"sub_awards_count":0,"amount":342396.0,"currency":"GBP","amount_usd":567940.98,"amount_usd_basis":"daily_rate","recipients":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","roles":["lead"],"share":null,"basis":"affiliation_matcher","asserted_by":"funder"}],"recipient_countries":[{"country_code":"GB","share":1.0,"amount_usd":567940.98,"basis":"organisation_location"}],"recipient_regions":[],"research_scope":{"is_research":true,"basis":"funder_default","tier":1},"funding_type":"research","funder_scheme":null,"start_date":"2009-06-30","end_date":"2012-12-31","start_year":2009,"end_year":2012,"landing_page_url":"https://gtr.ukri.org/projects?ref=EP/G015481/1","doi":null,"provenance":"gateway_to_research","lead_investigator":null,"co_lead_investigator":null,"investigators":null,"works_api_url":"https://api.openalex.org/works?filter=awards.id:G2864570838","primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9878,"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.9878,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0029,"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/T10142","display_name":"Formal Methods in Verification","score":0.0015,"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/multiparty-session-types","display_name":"multiparty session types","score":0.971},{"id":"https://openalex.org/keywords/session-types","display_name":"session types","score":0.641},{"id":"https://openalex.org/keywords/multiparty-communication","display_name":"multi-party communication","score":0.531},{"id":"https://openalex.org/keywords/concurrent-programming","display_name":"concurrent programming","score":0.411}],"sustainable_development_goals":[],"institution_awarded":[],"updated_date":"2026-11-13T03:01:57.000Z","created_date":"2026-07-13T04:25:00.000Z"}