Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation.

Paolo Camurati Fulvio Corno Paolo Prinetto

Published in: CHDL (1993)

Keyphrases

process algebra
formal specification
lightweight
concurrent systems
database
natural language
relational databases
data model
fine grained