Choreography Conformace Checking based on Process Algebras.

Manuel I. Capel

Published in: CLOSER (2013)

Keyphrases

information systems
artificial intelligence
multi agent
real world
genetic algorithm
website
case study
data structure
relational databases
mobile robot