Items where Author, Editor or other role is "Dilley, Nicolas"

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: D

Number of items: 3.

D

Dilley, Nicolas (2022) Bounded Verification of Message-Passing Concurrency in Go. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.98644) (KAR id:98644)

Dilley, Nicolas, Lange, Julien (2019) An Empirical Study of Messaging Passing Concurrency in Go Projects. In: Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. . IEEE ISBN 978-1-7281-0591-8. (doi:10.1109/SANER.2019.8668036) (KAR id:71491)

Dilley, Nicolas, Lange, Julien (2010) Bounded verification of message-passing concurrency in Go using Promela and Spin. In: EPTCS. Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 314. pp. 34-45. EPTCS (doi:10.4204/EPTCS.314.4) (KAR id:80588)

This list was generated on Tue Apr 23 19:27:25 2024 BST.