Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference proceeding
Number of items: 3.

Conference proceeding

Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi (2019) A Sound Algorithm for Asynchronous Session Subtyping. In: 30th International Conference on Concurrency Theory (CONCUR 2019), 26-31 Aug 2019, Amsterdam, The Netherlands. (doi:10.4230/LIPIcs.CONCUR.2019.34) (KAR id:75503)
Format: PDF
Grigore, Radu, Kiefer, Stefan (2018) Selective Monitoring. In: 29th International Conference on Concurrency Theory (CONCUR 2018), 4--7 September 2018, Beijing, China, 4--7 September 2018, Beijing, China. (doi:10.4230/LIPIcs.CONCUR.2018.20) (KAR id:67553)
Format: PDF
Cohen, Liron, Rowe, Reuben (2018) Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. In: Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, CSL 2018. LIPICS (doi:10.4230/LIPIcs.CSL.2018.16) (KAR id:67460)
Format: PDF
This list was generated on Tue Mar 31 13:30:26 2026 BST.
SensusAccess
Feedback