Browse by Research Project Code

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0

Voinea, A. L., Dardha, O. and Gay, S. (2019) Resource Sharing via Capability-Based Multiparty Session Types. In: 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 02-06 Dec 2019, (Accepted for Publication)

This list was generated on Sun Dec 8 03:32:42 2019 GMT.