Items where Author is "Baillie, E.J."

Number of items: 1.
  • Towards a satisfaction relation between CCS specifications and their refinements. (1992) E.J. Baillie