Sciweavers

FCT
1995
Springer
14 years 3 months ago
On the Synchronization of Semi-Traces
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
Klaus Reinhardt