A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

Sung-Shik Jongmans Petra van den Bos

Published in: ESOP (2022)

Keyphrases

programming language
fuzzy logic
neural network
databases
fault diagnosis
programming environment
power transformers
high voltage
real world
information retrieval
genetic algorithm
artificial intelligence
computational intelligence
power system
multicore processors