Efficient Interpretation of Large Quantifications in a Process Algebra.

Benoît Fraikin Marc Frappier

Published in: MSVVEIS (2006)

Keyphrases

process algebra
concurrent systems
case study
high level
lightweight
database
knowledge based systems