scholarly journals Relaxed Operational Semantics of Concurrent Programming Languages

2012 ◽  
Vol 89 ◽  
pp. 19-33 ◽  
Author(s):  
Gérard Boudol ◽  
Gustavo Petri ◽  
Bernard Serpette
Keyword(s):  
Programming Languages ◽  
Operational Semantics ◽  
Concurrent Programming ◽  
Concurrent Programming Languages

scholarly journals From CML to process Algebras

1993 ◽  
Vol 22 (433) ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Programming Languages ◽  
Programming Language ◽  
Process Algebra ◽  
Operational Semantics ◽  
Concurrent Programming ◽  
Process Algebras ◽  
Standard Ml ◽  
Concurrent Programming Languages ◽  
Structural Operational Semantics ◽  
Communication Behaviours

<p>Reppy's language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. We formulate an effect system for statically expressing the communication behaviours of CML programs as these are not otherwise reflected in the types.</p><p>We then show how types and behaviours evolve in the course of computation: types may decrease and behaviours may loose alternatives as well as decrease. It will turn out that the syntax of behaviours is rather similar to that of a process algebra; our main results may therefore be viewed as regarding the semantics of a process algebra as an <em>abstraction</em> of the semantics of an underlying programming language. This establishes a new kind of connection between ''realistic'' concurrent programming languages and ''theoretical'' process algebras.</p>

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