Login / Signup

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract.

Steffen van BakelMaria Grazia Vigliotti
Published in: IFIP TCS (2012)
Keyphrases
  • extended abstract
  • algebraic structure
  • formal language
  • formal semantics
  • argumentation semantics
  • process algebra
  • database query languages
  • relational calculus
  • data sets
  • artificial neural networks