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. |
|