scholarly journals Reversible Communicating Processes

2016 ◽  
Vol 203 ◽  
pp. 45-59 ◽  
Author(s):  
Geoffrey Brown ◽  
Amr Sabry
Keyword(s):  
Communicating Processes

Data Communicating Processes with Unreliable Channels

2016 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
C. Aiswarya ◽  
Mohamed Faouzi Atig
Keyword(s):  
Communicating Processes

scholarly journals Full Abstraction for Strongly Fair Communicating Processes

2004 ◽  
Vol 1 (1) ◽  
pp. 1-20
Author(s):  
S Brookes
Keyword(s):  
Communicating Processes ◽  
Full Abstraction

scholarly journals Exposure to deadlock for communicating processes is hard to detect

1985 ◽  
Vol 21 (2) ◽  
pp. 63-68 ◽  
Author(s):  
Thomas Räuchle ◽  
Sam Toueg
Keyword(s):  
Communicating Processes

Failure-Divergence Refinement of Compensating Communicating Processes

2011 ◽  
pp. 262-277 ◽  
Author(s):  
Zhenbang Chen ◽  
Zhiming Liu ◽  
Ji Wang
Keyword(s):  
Communicating Processes

Applicative communicating processes in first order logic

1982 ◽  
pp. 1-14 ◽  
Author(s):  
Marco Bellia ◽  
Pierpaolo Degano ◽  
Giorgio Levi ◽  
Enrico Dameri ◽  
Maurizio Martelli
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
Communicating Processes ◽  
First Order

Synchronized forward and backward recovery for communicating processes

1987 ◽  
Vol 20 (14) ◽  
pp. 107-112
Author(s):  
R. Anido ◽  
J. Kramer
Keyword(s):  
Communicating Processes

How to compile systems of recurrence equations into networks of communicating processes

1992 ◽  
pp. 795-796
Author(s):  
M. C. Eglin-Leclerc ◽  
J. Julliand ◽  
G. R. Perrin
Keyword(s):  
Communicating Processes ◽  
Recurrence Equations
Sign in / Sign up

Export Citation Format

Share Document