Techreport,

Representation of Computations in Concurrent Automata by Dependence Orders

, , and .
preprint, MATH-AL-15-1996. TU Dresden, (1996)

Meta data

Tags

Users

  • @algebradresden

Comments and Reviews