A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS

Ph.D

Saved in:

Bibliographic Details
Main Author:	MIRELA ANDREEA COSTEA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2018
Subjects:	session logic, programming languages, communication protocols, software verification, concurrency, separation logic
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/139089
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-139089
record_format	dspace
spelling	sg-nus-scholar.10635-1390892024-10-24T18:26:38Z A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS MIRELA ANDREEA COSTEA COMPUTER SCIENCE CHIN WEI NGAN session logic, programming languages, communication protocols, software verification, concurrency, separation logic Ph.D DOCTOR OF PHILOSOPHY 2018-02-28T18:00:58Z 2018-02-28T18:00:58Z 2017-08-23 Thesis MIRELA ANDREEA COSTEA (2017-08-23). A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/139089 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	session logic, programming languages, communication protocols, software verification, concurrency, separation logic
spellingShingle	session logic, programming languages, communication protocols, software verification, concurrency, separation logic MIRELA ANDREEA COSTEA A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE MIRELA ANDREEA COSTEA
format	Theses and Dissertations
author	MIRELA ANDREEA COSTEA
author_sort	MIRELA ANDREEA COSTEA
title	A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
title_short	A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
title_full	A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
title_fullStr	A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
title_full_unstemmed	A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS
title_sort	session logic for relaxed communication protocols
publishDate	2018
url	https://scholarbank.nus.edu.sg/handle/10635/139089
_version_	1821189375604555776

A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS

Similar Items