Inproceedings,

The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.

, and .
Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 123-147. Springer, (1979)

Meta data

Tags

Users

  • @eperzhand
  • @dblp
  • @wvdaalst

Comments and Reviews