Cellular Monads from Positive GSOS Specifications.

Tom Hirschowitz

Published in: EXPRESS/SOS (2019)

Keyphrases

positive and negative
cellular automata
high level
specification language
databases
neural network
knowledge base
formal specification
operational semantics
attribute grammars