Choreographies, logically.

Marco Carbone Fabrizio Montesi Carsten Schürmann

Published in: Distributed Comput. (2018)

Keyphrases

artificial intelligence
domain specific
co occurrence
expert systems
low level
keywords
natural language
higher level
wordnet
text mining
programming language
theorem proving