Sciweavers

88
Voted
FCT
1995
Springer
15 years 1 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