Bialgebraic foundations for the operational semantics of string diagrams.

Filippo Bonchi Robin Piedeleu Pawel Sobocinski Fabio Zanasi

Published in: Inf. Comput. (2021)

Keyphrases

operational semantics
formal semantics
data model
declarative semantics
edit distance
artificial intelligence
mental states
model theoretic
denotational semantics
databases
agent programming
speech acts
life cycle
uml diagrams
class diagrams