Much has been learned in the last decade about concurrent programming. This paper identifies the major concepts and describes some of the more important language notations for writing concurrent programs. The roles of processes, communication and syhchronization are discussed from both an operational and an axiomatic viewpoint. Language notations for expressing concurrent execution and for specifying process interaction are surveyed. Synchronization primitives based on shared variables and on message passing are described. Finally, three general classes of concurrent programming languages are identified and compared.

/pdf/concepts-and-notations-for-concurrent-programming-22haa9z7dm.pdf

The Emperor's Old Clothes

Concepts and Notations for Concurrent Programming

Introduction - benefits of object-orientation, object-oriented programming and BETA introduction to basic concepts - perspectives on programming, object-oriented programming objects and patterns - overview, reference attributes, pattern attributes repetitions - reallocation, assignment and slice, the text pattern imperatives - introduction to evaluations, for-imperative, if-imperative, labels and jump imperatives, a large example, assignment and equality, computed references and computed remote name, detailed description of evaluations, block structure and scope rules, object kinds and construction modes sub-patterns - specialization by simple inheritance, specialization of actions, enter/exit-parts for sub-patterns, the object patterns, summary, qualifications and scope rules virtual procedure patterns, continued extension of a virtual patterns, more examples of using virtual patterns, benefits of virtual patterns, summary block structure - simple block structure, class grammar, flight reservation example virtual class patterns - directly qualified virtual class patterns, general parameterized class patterns part objects and reference attributes - part objects, reference attributes pattern variables - declaration of pattern variables, example procedural programming - functional classes, higher order procedure patterns, virtual classes and genericity deterministic alternation - execution stacks, generators, components and recursive procedure patterns, abstract super-patterns concurrency - concurrent execution of components, monitors, direct communication between components, compound systems, readers and writers problem non-determinstic alternation - alternating execution of components, a distributed calendar, bounded buffer, a simple game exception handling - simple exceptions, recovery, partial recovery, handlers for procedure patterns, system exceptions, language-defined exceptions, advanced design of exception patterns modularization - fragments, separation of interface and implementation, alternative implementations, programme variants, using several libraries, visibility and binding rules (part contents).

http://cs-exhibitions.uni-klu.ac.at/fileadmin/template/documents/text/betabook.pdf

Object-Oriented Programming in the Beta Programming Language

When distributed systems first appeared, they were programmed in traditional sequential languages, usually with the addition of a few library procedures for sending and receiving messages. As distributed applications became more commonplace and more sophisticated, this ad hoc approach became less satisfactory. Researchers all over the world began designing new programming languages specifically for implementing distributed applications. These languages and their history, their underlying principles, their design, and their use are the subject of this paper.We begin by giving our view of what a distributed system is, illustrating with examples to avoid confusion on this important and controversial point. We then describe the three main characteristics that distinguish distributed programming languages from traditional sequential languages, namely, how they deal with parallelism, communication, and partial failures. Finally, we discuss 15 representative distributed languages to give the flavor of each. These examples include languages based on message passing, rendezvous, remote procedure call, objects, and atomic transactions, as well as functional languages, logic languages, and distributed data structure languages. The paper concludes with a comprehensive bibliography listing over 200 papers on nearly 100 distributed programming languages.

/pdf/programming-languages-for-distributed-computing-systems-swl2r5wnf8.pdf

Programming languages for distributed computing systems

This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language -- a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.

Concepts, Techniques, and Models of Computer Programming

From the Publisher:
Classical and Object-Oriented Software Engineering is designed for an introductory software engineering course. This book provides an excellent introduction to software engineering fundamentals,covering both traditional and object-oriented techniques. 
Schach's unique organization and style makes it excellent for use in a classroom setting. It presents the underlying software engineering theory in Part I and follows it up with the more practical life-cycle material in Part II. Many software engineering books are more like reference books,which do not provide the appropriate fundamentals before inundating students with implementation details. 
In this edition,more practical material has been added to help students understand how to use what they are learning. This has been done through the use of "How To" boxes and greater implementation detail in the case study. Additionally,the new edition contains the references to the most current literature and includes an overview of extreme programmming. 
The website in this edition will be more extensive. It will include Solutions,PowerPoints that incorporate lecture notes,newly developed self-quiz questions,and source code for the term project and case study.

https://ndl.ethernet.edu.et/bitstream/123456789/27192/1/Stephen%20R.%20Schach.pdf

The Emperor's Old Clothes

Citations

Concepts and Notations for Concurrent Programming

Object-Oriented Programming in the Beta Programming Language

Programming languages for distributed computing systems

Concepts, Techniques, and Models of Computer Programming

Object-oriented and classical software engineering

Related Papers (5)

A Discipline of Programming

Communicating Sequential Processes

An Axiomatic Basis for Computer Programming

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Object-Oriented Software Construction