2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
P. H. M. van Spaendonck, K. H. J. Jilissen
Labeled transition systems can be a great way to visualize the complex behavior of parallel and communicating systems. However, if, during a particular timeframe, no synchronizatio…