Causal Dependencies in Parallel Composition of Stochastic Processes
作者： L. Cheung , M. Hendriks
DOI:
关键词: Computer science 、 Distributed computing 、 Theoretical computer science 、 Composition (language) 、 Stochastic process
摘要:
ru.nl参考文章(18)
Michael Waidner, Birgit Pfitzmann, Michael Backes, Secure Asynchronous Reactive Systems ,(2004)
N.A. Lynch, M.R. Tuttle, An introduction to input/output automata CWI quarterly. ,vol. 2, pp. 219- 246 ,(1989)
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen, On Generative Parallel Composition Electronic Notes in Theoretical Computer Science. ,vol. 22, pp. 30- 54 ,(1999) , 10.1016/S1571-0661(05)80596-1
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark, Composition and Behaviors of Probabilistic I/O Automata international conference on concurrency theory. pp. 513- 528 ,(1994) , 10.1007/978-3-540-48654-1_37
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala, Compositional Methods for Probabilistic Systems international conference on concurrency theory. pp. 351- 365 ,(2001) , 10.1007/3-540-44685-0_24
Nancy Lynch, Roberto Segala, Frits Vaandrager, Compositionality for Probabilistic Automata CONCUR 2003 - Concurrency Theory. pp. 208- 221 ,(2003) , 10.1007/978-3-540-45187-7_14
Bengt Jonsson, Wang Yi, Kim G. Larsen, Probabilistic Extensions of Process Algebras Handbook of Process Algebra. pp. 685- 710 ,(2001) , 10.1016/B978-044482830-9/50029-1
Roberto Segala, Modeling and verification of randomized distributed real-time systems Massachusetts Institute of Technology. ,(1996)
Mariëlle Stoelinga, Frits Vaandrager, A testing scenario for probabilistic automata international colloquium on automata languages and programming. pp. 464- 477 ,(2003) , 10.1007/3-540-45061-0_38
Benny Chor, Amos Israeli, Ming Li, Wait-Free Consensus Using Asynchronous Hardware SIAM Journal on Computing. ,vol. 23, pp. 701- 712 ,(1994) , 10.1137/S0097539790192635