Modeling systems by probabilistic process algebra: an event structures approach
Contributo in Atti di convegno
Data di Pubblicazione:
1994
Abstract:
Sommario non disponibile.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Modeling systems; Probabilistic process
Elenco autori:
Latella, Diego
Link alla scheda completa:
Titolo del libro:
FORMAL DESCRIPTION TECHNIQUES, VI - Proceedings of the IFIP TC96/WG6.1 Sixth International Conference on Formal
Pubblicato in: