S Balraj

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 present two systems for modelling safe concurrency. The first is an automata-based system, called predecessor automata (PAs). The second is a language-based system, called Data Path Expressions (DPEs). In a previous paper [Hseush 90], we presented a hierarchy of DPEs and described PAs as a mechanism for implementing the safe DPEs from the viewpoint of(More)
  • 1