Automatic verification of distributed systems: The process algebra approach

1996 ◽  
Vol 8 (1) ◽  
pp. 7-38 ◽  
Author(s):  
Paola Inverardi ◽  
Corrado Priami
Keyword(s):  
Distributed Systems ◽  
Process Algebra ◽  
Automatic Verification ◽  
Algebra Approach

scholarly journals From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology

2009 ◽  
Vol 2 (3) ◽  
pp. 535-556 ◽  
Author(s):  
Chris McCaig ◽  
Rachel Norman ◽  
Carron Shankland
Keyword(s):  
Process Algebra ◽  
Algebra Approach ◽  
Symbolic Process

Automatic verification for a class of distributed systems

2000 ◽  
Vol 13 (3) ◽  
pp. 127-143 ◽  
Author(s):  
G. Manduchi ◽  
M. Moro
Keyword(s):  
Distributed Systems ◽  
Automatic Verification

scholarly journals Specification and planning of UAV missions: a Process Algebra approach

2009 ◽  
Author(s):  
Sertac Karaman ◽  
Steven Rasmussen ◽  
Derek Kingston ◽  
Emilio Frazzoli
Keyword(s):  
Process Algebra ◽  
Algebra Approach

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment

SIMULATION ◽  
2004 ◽  
Vol 80 (6) ◽  
pp. 273-288 ◽  
Author(s):  
P. Lecca ◽  
C. Priami ◽  
P. Quaglia ◽  
B. Rossi ◽  
C. Laudanna ◽  
...  
Keyword(s):  
Stochastic Process ◽  
Process Algebra ◽  
Algebra Approach ◽  
Stochastic Process Algebra ◽  
Autoreactive Lymphocyte

Process algebra approach to reasoning about concurrent actions

2004 ◽  
Vol 19 (3) ◽  
pp. 364-373
Author(s):  
Yuan Feng ◽  
Ming-Sheng Ying
Keyword(s):  
Process Algebra ◽  
Algebra Approach
Sign in / Sign up

Export Citation Format

Share Document