Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations | IEEE Journals & Magazine | IEEE Xplore