A closed queuing network model with single servers for multi-threaded architecture
synchronization and execution processors
scientific article; zbMATH DE number 5703154