We survey parallel programming models and languages using six criteria to assess their
suitability for realistic portable parallel programming. We argue that an ideal model should …

There is a real need for clear and sound design specifications of distributed systems at the
architectural level. This is the level of the design which deals with the high-level organisation …

Regis is a programming environment aimed at supporting the development and execution of
parallel and distributed programs. It embodies a constructive approach to the development …

Although object-oriented languages are well-suited to implement software components, they
fail to shine in the construction of component-based applications, largely because object …

Degree: Fil. Dr. DegreeYear: 1998 Institute: Uppsala Universitet (Sweden) Publisher:
Department Of Computer Systems, Uppsala University, Box 325, S-751 05 Uppsala …

We study facets of concurrent programming in the context of high-level concurrent
languages rigorously based on top of low-level process calculi. This setting is of both …

Object-oriented technology and design is not the final answer to the recurrent problem of
making systems, on one hand, more open and flexible and, on the other hand, more robust …

The fact that so many different kinds of coordination models and languages have been
proposed suggests that no one single approach will be the best for all coordination …

Nowadays, many formal methods are used in the area of software development
accompanied by a number of advanced theories and tools. However, more experiments are …

Caliban is a declarative language which addresses the area of static distributed memory
parallel computing. It is an annotation language that allows the programmer to partition a …