Process Algebra: Equational Theories of Communicating Processes
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781139195003
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Process algebra

2014 ◽  
pp. 1-10 ◽  
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers
Keyword(s):  
Process Algebra

Abstraction

2014 ◽  
pp. 245-300
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Basic process theory

2014 ◽  
pp. 67-108
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers
Keyword(s):  
Process Theory ◽  
Basic Process

Bibliography

2014 ◽  
pp. 411-420
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Parallel and communicating processes

2014 ◽  
pp. 195-244
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers
Keyword(s):  
Communicating Processes

Recursion

2014 ◽  
pp. 109-170
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Features

2014 ◽  
pp. 375-392
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Timing

2014 ◽  
pp. 301-334
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Semantics

2014 ◽  
pp. 393-410
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers

Transition systems

2014 ◽  
pp. 35-66
Author(s):  
J. C. M. Baeten ◽  
T. Basten ◽  
M. A. Reniers
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document