A process-algebraic approach to the design of asynchronous (counterflow) pipelines

1996 ◽  
Author(s):  
P.G. Lucassen
Keyword(s):  
Algebraic Approach ◽  
Process Algebraic

A process-algebraic approach for the analysis of probabilistic noninterference1

2004 ◽  
Vol 12 (2) ◽  
pp. 191-245 ◽  
Author(s):  
Alessandro Aldini ◽  
Mario Bravetti ◽  
Roberto Gorrieri
Keyword(s):  
Algebraic Approach ◽  
Process Algebraic

scholarly journals PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS

2005 ◽  
Vol 38 (1) ◽  
pp. 325-330 ◽  
Author(s):  
Ed Brinksma ◽  
Tomas Krilaviĉius ◽  
Yaroslav S. Usenko
Keyword(s):  
Hybrid Systems ◽  
Algebraic Approach ◽  
Process Algebraic
Sign in / Sign up

Export Citation Format

Share Document