Cover Image
Read Now

1
Published 2005
Springer US
“... approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA...”