Linda Christoff

  • Citations Per Year
Learn More
More than 15 years ago, Cleaveland and Hennessy proposed an extension of the<lb>process algebra CCS in which some actions may take priority over others. The<lb>theory was equipped with a behavioral congruence based on strong bisimulation.<lb>This article gives a full account of the challenges in, and the solutions employed<lb>for, defining a semantic theory(More)
  • 1