Login / Signup
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
Jana Wagemaker
Nate Foster
Tobias Kappé
Dexter Kozen
Jurriaan Rot
Alexandra Silva
Published in:
CoRR (2022)
Keyphrases
</>
social networks
network structure
concurrent execution
databases
information retrieval
website
bayesian networks
multi agent
search algorithm