Login / Signup
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