MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS. Academic Article uri icon

publication date

  • July 2, 1979