Synchronization with Type Variables

Abstract

Although Java is supposed to be a language for the Internet, there is only marginal support of concurrency and synchronization. Especially the reliability of concurrent Java programs is quite often problematic. We propose to use a language with much more reliable synchronization concepts based on process types. This approach gives more flexibility and allows us to use inheritance and subtyping in concurrent programs in the same way as in sequential programs