|
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach / / William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein and David Maier --
|
2012
|
1
|
|
CONFLUENCE AND EXECUTION -- / ch. 16
|
2014
|
1
|
|
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization / / Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier and Olga Runge --
|
2012
|
1
|
|
Confluence of Non-Left-Linear TRSs via Relative Termination / / Dominik Klein and Nao Hirokawa --
|
2012
|
1
|
|
The Confluence of Rivers: The Indigenous Tribes of Idaho / / RODNEY FREY AND ROBERT McCARL --
|
2014
|
1
|
|
Confluence Reduction for Markov Automata / / Mark Timmer, Jaco van de Pol --
|
2013
|
1
|