Concurrent NetKAT with ports
- Author(s):
- Feng, H.; Bonsangue, M.M. (0000-0003-3746-3618)
- Published
- 2024
- Publication type
- Article in monograph or in proceedings
- Date issued
- 2024-08-04
- Language
- English
- Publisher
- New York, N.Y., U.S.A.: Association for Computing Machinery
- Is part of
- SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (2024), p. 1722-1730
- ISBN source
- 9798400702433
- hdl
- 1887/4038325
- doi
- 10.1145/3605098.3636048
Conference
- Meeting name
- SAC '24: 39th ACM/SIGAPP Symposium on Applied Computing
- Meeting location
- Avila, Spain
- Meeting date
- 2024-04-08 - 2024-04-12
