In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving Parameterized Boolean Equation Systems. We prove correctness, and illustrate the approach with an unbounded queue example. We also provide some adaptations to obtain similar transformations for weak bisimulation and simulation...

Parameterized models appear in a wide range of practical applications. For instance during the design process for microsystems, complex models will be constructed which include geometric parameters. For the use in interconnect synthesis parameterized interconnect models are required. The usual model reduction allows a remarkable acceleration of timeor frequency-dependent evaluations. However, t...

Certain nonlinearly-coupled systems of N discrete-time evolution equations are identified, which can be solved by algebraic operations; and some remarkable Diophantine findings thereby obtained. These results might useful to test the accuracy numerical routines yielding roots polynomials arbitrary degree N.