Since three decades binary decision diagrams, representing efficiently
B...
In this paper we are interested in the quantitative analysis of the
comp...
Any Boolean function corresponds with a complete full binary decision tr...
In this paper we study the notion of synchronization from the point of v...
In biology, a phylogenetic tree is a tool to represent the evolutionary
...
In this paper we focus on concurrent processes built on synchronization ...