Eyrak Paen

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
We report on ongoing work to define a formal semantics for UML-RT suitable for execution and analysis. The paper advocates the use of kiltera as an executable, yet formal, specification language for the high-level description and analysis of complex software systems. kiltera is based on a novel process algebra that extends the π-calculus with time,(More)
  • 1