2007
Real-Time Process Algebra with Stochastic Delays
Publication
Publication
Presented at the
International Conference on Application of Concurrency to System Design
Additional Metadata | |
---|---|
IEEE | |
T. Basten , G. Juhas , S. Shukla | |
International Conference on Application of Concurrency to System Design | |
Organisation | Computer Security |
Markovski, J., & de Vink, E. (2007). Real-Time Process Algebra with Stochastic Delays. In T. Basten, G. Juhas, & S. Shukla (Eds.), Proc. ACSD 2007 (pp. 177–186). IEEE. |