Type-based analysis of communication for concurrent programming languages

1997 ◽  
pp. 187-201 ◽  
Author(s):  
Atsushi Igarashi ◽  
Naoki Kobayashi
Keyword(s):  
Programming Languages ◽  
Concurrent Programming ◽  
Concurrent Programming Languages

M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

1998 ◽  
Vol 35 (10) ◽  
pp. 813-857 ◽  
Author(s):  
Eike Best ◽  
Wojciech Frączak ◽  
Richard P. Hopkins ◽  
Hanna Klaudel ◽  
Elisabeth Pelz
Keyword(s):  
Petri Nets ◽  
Programming Languages ◽  
Concurrent Programming ◽  
Concurrent Programming Languages ◽  
High Level

scholarly journals Design of an empirical study for comparing the usability of concurrent programming languages

2013 ◽  
Vol 55 (7) ◽  
pp. 1304-1315 ◽  
Author(s):  
Sebastian Nanz ◽  
Faraz Torshizi ◽  
Michela Pedroni ◽  
Bertrand Meyer
Keyword(s):  
Empirical Study ◽  
Programming Languages ◽  
Concurrent Programming ◽  
Concurrent Programming Languages

Coordination Languages and Models for Open Distributed Systems

2013 ◽  
Vol 1 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Chia-Chu Chiang ◽  
Roger Lee
Keyword(s):  
Distributed Systems ◽  
Programming Languages ◽  
Software Evolution ◽  
Climate Modeling ◽  
Concurrent Programming ◽  
Gene Sequence Analysis ◽  
Concurrent Programming Languages ◽  
Open Distributed Systems ◽  
Coordination Languages ◽  
Scientists And Engineers

Programming open distributed systems will be of rapidly growing importance in the coming decades to the scientists and engineers that will be using these techniques to solve society’s most pressing problems. Even today, the authors see a growing number of critical applications such as MRI spin relaxometry, gene sequence analysis, climate modeling, and molecular modeling of potential bioactive compounds that require massive amounts of computation. The demands for intensive computational power will only grow in the future, as society tackles more complex problems. Existing concurrent programming languages are not well-suited to the development of open distributed systems. Middleware technologies provide the support for the development of open distributed systems. However, the technologies suffer the same problems of existing concurrent programming approaches which the software evolution of the systems are not supported well. The resulting systems are difficult to maintain due to the changes. This has led to the design and implementation of a variety of coordination models and languages for open distributed systems. The main purpose is to separate the concerns of the complexities including communication, coordination, computation, and heterogeneity in the development of open distributed systems. The models manage the concerns to improve the maintenance of the systems.

Sign in / Sign up

Export Citation Format

Share Document