Código QR (código de barras bidimensional)

Cost Preserving Bisimulations for Probabilistic Automata

Probabilistic automata constitute a versatile and elegant model for concurrent probabilistic systems. They are equipped with a compositional theory supporting abstraction, enabled by weak probabilistic bisimulation serving as the reference notion for summarising the effect of abstraction. This paper...

Fuld beskrivelse

Na minha lista:
Principais autores: Andrea Turrini, Holger Hermanns
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2014-12-01
Serier:Logical Methods in Computer Science
Fag:
computer science - formal languages and automata theory
computer science - logic in computer science
Online adgang:https://lmcs.episciences.org/1050/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker