Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables
Authors:
Günter Karjoth
Affiliations:
-
Venue:
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Year:
1993
Citing
0
Cited
1
Generating FSMs from interworkings
Distributed Computing
Quantified Score
Hi-index
0.00
Visualization
Abstract