"14" Result
Sort By:
Process algebra and probabilistic methods: performance modeling and verification ; joint int…
by Alfaro, Luca de, PAPM PROBMIV, Aachen, Joint International Workshop PAPM-PROBMIV, Aachen), Joint International Workshop Process Algebras and Performance Modeling, Probabilistic Methods in Verification, Aachen)
fromLecture Notes in Computer Science
0
Type: Book
Annotation
'Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This…