Flow Logic

Gal Vardi
Gal Vardi

Logical Methods in Computer Science, 2019.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

Flow networks have attracted a lot of research in computer science. Indeed, many questions in numerous application areas can be reduced to questions about flow networks. Many of these applications would benefit from a framework in which one can formally reason about properties of flow networks that go beyond their maximal flow. We intro...More

Code:

Data:

Your rating :
0

 

Tags
Comments