scholarly journals A General Composition Theorem for Secure Reactive Systems

Author(s):  
Michael Backes ◽  
Birgit Pfitzmann ◽  
Michael Waidner
2015 ◽  
Vol 14 (4) ◽  
pp. 1-27 ◽  
Author(s):  
Jian-Min Jiang ◽  
Huibiao Zhu ◽  
Qin Li ◽  
Yongxin Zhao ◽  
Lin Zhao ◽  
...  
Keyword(s):  

2012 ◽  
Vol 2012 ◽  
pp. 1-25 ◽  
Author(s):  
Jing Cui ◽  
Litan Yan

We consider a class of nonautonomous stochastic evolution equations in real separable Hilbert spaces. We establish a new composition theorem for square-mean almost automorphic functions under non-Lipschitz conditions. We apply this new composition theorem as well as intermediate space techniques, Krasnoselskii fixed point theorem, and Banach fixed point theorem to investigate the existence of square-mean almost automorphic mild solutions. Some known results are generalized and improved.


2009 ◽  
Vol 410 (41) ◽  
pp. 4044-4066 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document