Joost-Pieter Katoen, Rom Langerak, Diego Latella. Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 253-268, North-Holland, 1993.
@inproceedings{KatoenLL93, title = {Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach}, author = {Joost-Pieter Katoen and Rom Langerak and Diego Latella}, year = {1993}, tags = {modeling, process algebra, algebra, process modeling, systematic-approach}, researchr = {https://researchr.org/publication/KatoenLL93}, cites = {0}, citedby = {0}, pages = {253-268}, booktitle = {Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993}, editor = {Richard L. Tenney and Paul D. Amer and M. Ümit Uyar}, volume = {C-22}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-81773-5}, }