Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.

Zhoujun Li Huowang Chen

Published in: ICALP (1998)

Keyphrases

relational algebra
databases
connected components
type checking
algebraic structure
data sets
neural network
real world
genetic algorithm
search algorithm
evolutionary algorithm
socio technical
automated deduction
computer algebra