Control Flow And Data Flow Concepts Of Distributed Programming International Sum

In A Time Of Multiprocessor Machines, Message Switching Networks And Process Control Programming Tasks, The Foundations Of Programming Distributed Systems Are Among The Central Challenges For Computing Sci Enti Sts. The Foundati Ons Of Di Stributed Programming Compri Se All The Fasci Nating Questions Of Computing Science: The Development Of Adequate Com Putational, Conceptual And Semantic Model S For Distributed Systems, Specification Methods, Verification Techniques, Transformation Rules, The Development Of Suitable Representations By Programming Languages, Evaluation And Execution Of Programs Describing Distributed Systems. Being The 7th In A Series Of Asi Summer Schools At Marktoberdorf, These Lectures Concentrated On Distributed Systems.