Hui Feng
PhD candidate/ guest
- Name
- H. Feng MSc
- Telephone
- +31 71 527 4799
- h.feng@liacs.leidenuniv.nl
- ORCID iD
- null
PhD candidate/ guest
- Science
- 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.