Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201

Navigation

Home
Working Groups
Meetings
Events
STSMs
News
Contact
Publications
Projects
Tools

You are here: Home / Meetings / Final Meeting: 6th/7th October 2016 in Lisbon / Hans Huttel. Using Session Types for Reasoning About Boundedness in the Pi-Calculus

Hans Huttel. Using Session Types for Reasoning About Boundedness in the Pi-Calculus

PDF document icon BETTY_2016_paper_10.pdf — PDF document, 67 kB (69006 bytes)

Navigation

Final Meeting: 6th/7th October 2016 in Lisbon
WG/MC Meetings: 17th/18th March 2016 in Malta
WG/MC Meetings: Friday 4th September 2015 in Madrid
WG/MC Meetings: Friday 17th April 2015 in London
WG/MC Meetings: Sunday 31st August 2014 in Rome
WG/MC Meetings: Sunday 13th April 2014 at ETAPS
WG Meeting: Monday 17th February 2014 in Brussels
WG/MC Meetings: 25th/26th September 2013 at SEFM
WG/MC Meetings: Sunday 24th March 2013 at ETAPS
Kick-Off Meeting: Friday 26th October 2012 in Brussels.