Login / Signup
A Sorted Semantic Framework for Applied Process Calculi.
Johannes Borgström
Ramunas Gutkovas
Joachim Parrow
Björn Victor
Johannes Åman Pohjola
Published in:
Log. Methods Comput. Sci. (2016)
Keyphrases
</>
lightweight
main contribution
process model
neural network
conceptual framework
logical framework
artificial intelligence
case study
context dependent
semantic analysis