The displacement and the stress states cased by single inclusion are achieved from the fundamental solutions such as nuclei of strain in bimaterals. The elastic
An algorithm for the verification of strong open bisimulation in π-calculus with mismatch was presented, which is based on the symbolic transition graph (STG).