Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
of areas, including process algebra, model checking, probabilistic processes, runtime verification
View Other Search Results
Yazar
Ordonez, Carlos. editor.
Format:
Electronic Resources
Alıntı:
BPMN and Relational Algebra -- Accurate Aggregation Query-Result Estimation and Its Efficient
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Algebra -- PALOMA: A Process Algebra for Located Markovian Agents -- On the Discriminating Power of
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Trees of Malleable Tasks for Sparse Linear Algebra -- Elastic Tasks: Unifying Task Parallelism and SPMD