A new proposal of concurrent process calculus

1996 ◽  
pp. 385-392
Author(s):  
Salvador Lucas ◽  
Javier Oliver
Keyword(s):  
Process Calculus ◽  
Concurrent Process

Concurrent programming as proof net construction

1998 ◽  
Vol 8 (6) ◽  
pp. 681-710
Author(s):  
G. PERRIER
Keyword(s):  
Proof Theory ◽  
Linear Logic ◽  
Concurrent Programming ◽  
Process Calculus ◽  
Concurrent Process ◽  
First Order ◽  
Proof Nets ◽  
Intuitionistic Linear Logic

We propose a concurrent process calculus, called Calcul Parallèle Logique (CPL), based on the paradigm of computation as proof net construction in linear logic. CPL uses a fragment of first-order intuitionistic linear logic where formulas represent processes and proof nets represent successful computations. In these computations, communication is expressed in an asynchronous way by means of axiom links. We define testing equivalences for processes, which are based on a concept of interface, and use the power of proof theory in linear logic.

Concurrent process model and specification cause-effect monitoring using alternate diagnostic signatures

2010 ◽  
Author(s):  
Shyam Kumar Devarakond ◽  
Shreyas Sen ◽  
Soumendu Bhattacharya ◽  
Abhijit Chatterjee
Keyword(s):  
Process Model ◽  
Concurrent Process ◽  
Effect Monitoring

scholarly journals An Implicitly-Typed Deadlock-Free Process Calculus

2000 ◽  
pp. 489-504 ◽  
Author(s):  
Naoki Kobayashi ◽  
Shin Saito ◽  
Eijiro Sumii
Keyword(s):  
Process Calculus ◽  
Free Process

A concurrent process model of software development

1994 ◽  
Vol 19 (2) ◽  
pp. 38-51 ◽  
Author(s):  
Alan M. Davis ◽  
Pradip Sitaram
Keyword(s):  
Software Development ◽  
Process Model ◽  
Concurrent Process
Sign in / Sign up

Export Citation Format

Share Document