Tienari Tienari

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Process algebras are convenient formalisms to develop specifications stepwise. This can be done with the help of partially defined states in a specification. When refining the specification, new transitions are added to partially defined states. At every step, it is verified with the help of special preorders, refinement relations, that the step leads(More)
  • 1