A Class of Rational Trace Relations Closed Under Composition.

Published in: FSTTCS (2023)

Keyphrases

real time
decision making
semantic relations
web service composition
web services composition
class hierarchy
data mining
information systems
case study
attribute values