On bisimulations for the spi calculus.

Johannes Borgström Uwe Nestmann

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

computer algebra
multi agent
formal language
relational calculus
algebraic structure
real world
artificial intelligence
information systems
image processing
database systems
low cost
logic programs
proof procedure
timed automata