Advancing orchestration synthesis for contract automata.

Davide Basile Maurice H. ter Beek

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

web services
finite automata
program synthesis
cellular automata
probabilistic automata
supply chain
regular expressions
turing machine
contract net protocol
data mining
information systems
finite state
formal language theory
data sets
lattice gas
finite state automata
case study
decision trees
neural network