Synthesis of Data Views for Communicating Processes

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78769-3_13 ◽

2008 ◽

pp. 185-200

Author(s):

Iman Poernomo

Keyword(s):

Communicating Processes

Download Full-text

Data Communicating Processes with Unreliable Channels

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 ◽

10.1145/2933575.2934535 ◽

2016 ◽

Author(s):

Parosh Aziz Abdulla ◽

C. Aiswarya ◽

Mohamed Faouzi Atig

Keyword(s):

Communicating Processes

Download Full-text

Full Abstraction for Strongly Fair Communicating Processes

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)00004-0 ◽

2004 ◽

Vol 1 (1) ◽

pp. 1-20

Author(s):

S Brookes

Keyword(s):

Communicating Processes ◽

Full Abstraction

Download Full-text

Extended naming conventions for communicating processes

Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 ◽

10.1145/582153.582158 ◽

1982 ◽

Author(s):

Nissim Francez

Keyword(s):

Communicating Processes

Download Full-text

Exposure to deadlock for communicating processes is hard to detect

Information Processing Letters ◽

10.1016/0020-0190(85)90033-x ◽

1985 ◽

Vol 21 (2) ◽

pp. 63-68 ◽

Author(s):

Thomas Räuchle ◽

Sam Toueg

Keyword(s):

Communicating Processes

Download Full-text

Failure-Divergence Refinement of Compensating Communicating Processes

Lecture Notes in Computer Science - FM 2011: Formal Methods ◽

10.1007/978-3-642-21437-0_21 ◽

2011 ◽

pp. 262-277 ◽

Author(s):

Zhenbang Chen ◽

Zhiming Liu ◽

Ji Wang

Keyword(s):

Communicating Processes

Download Full-text

Recovery Control of Communicating Processes in a Distributed System

Reliable Computer Systems ◽

10.1007/978-3-642-82470-8_33 ◽

1985 ◽

pp. 448-484 ◽

Author(s):

W. G. Wood

Keyword(s):

Distributed System ◽

Communicating Processes

Download Full-text

Applicative communicating processes in first order logic

Lecture Notes in Computer Science - International Symposium on Programming ◽

10.1007/3-540-11494-7_1 ◽

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 ◽

Download Full-text

Synchronized forward and backward recovery for communicating processes

IFAC Proceedings Volumes ◽

10.1016/b978-0-08-034206-1.50017-9 ◽

1987 ◽

Vol 20 (14) ◽

pp. 107-112

Author(s):

R. Anido ◽

J. Kramer

Keyword(s):

Communicating Processes

Download Full-text

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

Parallel Processing: CONPAR 92—VAPP V - Lecture Notes in Computer Science ◽

10.1007/3-540-55895-0_493 ◽

1992 ◽

pp. 795-796

Author(s):

M. C. Eglin-Leclerc ◽

J. Julliand ◽

G. R. Perrin

Keyword(s):

Communicating Processes ◽

Recurrence Equations

Download Full-text

A proof system for communicating processes with value-passing (extended abstract)

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-52048-1_54 ◽

1989 ◽

pp. 325-339 ◽

Author(s):

M. Hennessy

Keyword(s):

Proof System ◽

Communicating Processes

Download Full-text