Local Checking of Trace Synchroniziability

Volker Diekert, Walter Vogler. Local Checking of Trace Synchroniziability. In Michal Chytil, Ladislav Janiga, Václav Koubek, editors, Mathematical Foundations of Computer Science 1988, MFCS 88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings. Volume 324 of Lecture Notes in Computer Science, pages 271-279, Springer, 1988.

Abstract

Abstract is missing.