Deciding Probabilistic Program Equivalence in NetKAT.
Year: 2017
Type: preprint
Source: arXiv (Cornell University)
Authors: Steffen Smolka, David Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2734410999