Stateful servers in linear logic process calculi: CLASS and CSLL

Baksteen, Sarah (2024) Stateful servers in linear logic process calculi: CLASS and CSLL. Master's Internship Report, Computing Science.

	Text mCS2024BaksteenS.pdf Restricted to Registered users only until 31 December 2024. Download (465kB)
	Text embargo.pdf Restricted to Registered users only Download (137kB)

Abstract

Thesis is under embargo until 31 December 2024.

Item Type:	Thesis (Master's Internship Report)
Supervisor name:	Perez Parra, J.A. and Frumin, D.
Degree programme:	Computing Science
Thesis type:	Master's Internship Report
Language:	English
Date Deposited:	18 Jul 2024 14:30
Last Modified:	18 Jul 2024 14:30
URI:	https://fse.studenttheses.ub.rug.nl/id/eprint/33527

View Item