On the Complexity of Equation Solving in Process Algebra.

Bengt Jonsson Kim Guldstrand Larsen

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

process algebra
nonlinear equations
concurrent systems
model checking
formal methods
formal specification
asynchronous circuits
concurrent programs
web services composition
machine learning
artificial intelligence
case study
expert systems
relational databases
fine grained