Login / Signup
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.
Marcelo P. Fiore
Sam Staton
Published in:
LICS (2006)
Keyphrases
</>
operational semantics
databases
machine learning
learning process
fuzzy logic
process model