concurrent programming languages
Recently Published Documents


TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

2018 ◽  
Vol 29 (8) ◽  
pp. 1217-1249 ◽  
Author(s):  
MAX KANOVICH ◽  
STEPAN KUZNETSOV ◽  
VIVEK NIGAM ◽  
ANDRE SCEDROV

Linear logical frameworks with subexponentials have been used for the specification of, among other systems, proof systems, concurrent programming languages and linear authorisation logics. In these frameworks, subexponentials can be configured to allow or not for the application of the contraction and weakening rules while the exchange rule can always be applied. This means that formulae in such frameworks can only be organised as sets and multisets of formulae not being possible to organise formulae as lists of formulae. This paper investigates the proof theory of linear logic proof systems in the non-commutative variant. These systems can disallow the application of exchange rule on some subexponentials. We investigate conditions for when cut elimination is admissible in the presence of non-commutative subexponentials, investigating the interaction of the exchange rule with the local and non-local contraction rules. We also obtain some new undecidability and decidability results on non-commutative linear logic with subexponentials.



Author(s):  
Crystal Chang Din ◽  
Reiner Hähnle ◽  
Einar Broch Johnsen ◽  
Ka I Pun ◽  
Silvia Lizeth Tapia Tarifa


2014 ◽  
Vol 490-491 ◽  
pp. 798-802
Author(s):  
Rui Chen ◽  
Shi Gong Long

.The Temporal logic of actions TLA is a logic for specifying and reasoning about concurrent systems, which make systems and their properties are expressed in the same logic. In this paper, we introduce the concurrent programming languages and behavior semantics, mainly describe safety properties and liveness properties in TLA and take NeedhamSchroeder symmetric key protocol as an example to illustrate how to specify these properties in concurrent program by TLA.



2013 ◽  
Vol 55 (7) ◽  
pp. 1304-1315 ◽  
Author(s):  
Sebastian Nanz ◽  
Faraz Torshizi ◽  
Michela Pedroni ◽  
Bertrand Meyer


2013 ◽  
Vol 1 (1) ◽  
pp. 1-13 ◽  
Author(s):  
Chia-Chu Chiang ◽  
Roger Lee

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