Login / Signup

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.

Marcelo P. FioreSam Staton
Published in: LICS (2006)
Keyphrases
  • operational semantics
  • databases
  • machine learning
  • learning process
  • fuzzy logic
  • process model