Login / Signup

Deriving Failures Models for Nonuniform Concurency from Structured Operational Semantics.

Eiichi Horita
Published in: New Gener. Comput. (1996)
Keyphrases
  • operational semantics
  • activity diagrams
  • cooperative
  • probabilistic model
  • databases
  • information retrieval
  • case study