Login / Signup

General Refinement and Recursion Operators for the Petri Box Calculus.

Eike BestRaymond R. DevillersJavier Esparza
Published in: STACS (1993)
Keyphrases
  • special case
  • closely related
  • search engine
  • database
  • databases
  • real world