Login / Signup

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.

Gwen SalaünMichel AllemandJ. Christian Attiogbé
Published in: COMPSAC (2002)
Keyphrases
  • specification language
  • formal specification
  • process algebra
  • dynamic programming
  • knowledge base
  • general purpose
  • programming language
  • petri net
  • information systems
  • natural language
  • concurrent systems