Hui Feng
Promovendus/ gast
- Naam
- H. Feng MSc
- Telefoon
- +31 71 527 4799
- h.feng@liacs.leidenuniv.nl
- ORCID iD
- null
Promovendus/ gast
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Feng H. & Bonsangue M.M. (2024), Concurrent NetKAT with ports, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing 8 april 2024 - 12 april 2024. New York, N.Y., U.S.A.: Association for Computing Machinery. 1722-1730.
- Feng H., Bonsangue M.M. & Lion B. (2022), From symbolic constraint automata to Promela, Journal of Logical and Algebraic Methods in Programming 128: 100794.