Keyword: interleaving

• Stansifer, R.; Marinescu, D.:
  Petri Net Models of Concurrent Ada Programs. 1991.

• Vogler, Walter:
  Bisimulation and Action Refinement. 1991.

• Campos, Javier; Chiola, Giovanni; Silva, Manual:
  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. 1991.

• Darondeau, Philippe; Degano, Pierpaolo:
  Causal Trees: Interleaving + Causality. 1990.

• Burkhard, Hans-Dieter:
  ``Something to Tell'' about Non-Deterministic Interleaving and Concurrency. 1984.

• Starke, Peter H.:
  An Uninvited Adress to ``Serialisers'' and ``Non-Transitivists''. 1984.

• Best, Eike:
  Non-Deterministic Interleaving and the Non-Transitivity of Concurrency. 1983.

Back to the Petri Nets Bibliography