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

A process algebraic approach to reaction systems

2020 ◽  
Author(s):  
Linda Brodo ◽  
Roberto Bruni ◽  
Moreno Falaschi
Keyword(s):  
Algebraic Approach ◽  
Reaction Systems ◽  
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

A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures

2016 ◽  
Vol 12 (2) ◽  
pp. 655-671 ◽  
Author(s):  
Jin Hyun Kim ◽  
Inhye Kang ◽  
Sungwon Kang ◽  
Abdeldjalil Boudjadar
Keyword(s):  
Timing Analysis ◽  
Algebraic Approach ◽  
Software Architectures ◽  
Automotive Software ◽  
Process Algebraic

scholarly journals A process algebraic approach to the specification and analysis of resource-bound real-time systems

1994 ◽  
Vol 82 (1) ◽  
pp. 158-171 ◽  
Author(s):  
I. Lee ◽  
P. Bremond-Gregoire ◽  
R. Gerber
Keyword(s):  
Real Time ◽  
Algebraic Approach ◽  
Real Time Systems ◽  
Resource Bound ◽  
Time Systems ◽  
Process Algebraic
Sign in / Sign up

Export Citation Format

Share Document