A Logic for Choreographies

Marco Carbone Davide Grohmann Thomas T. Hildebrandt Hugo A. López

Published in: PLACES (2010)

Keyphrases

predicate logic
multi valued
real time
computer vision
modal logic
databases
classical logic
logic programming
asynchronous circuits
set theory
computational properties
automated reasoning
multi agent systems
database systems
genetic algorithm
machine learning
data mining
data sets