- Tytuł:
- Stochastic Petri Box Calculus with Discrete Time
- Autorzy:
- Tarasyuk, I.V.
- Data publikacji:
- 2007
- Słowa kluczowe:
-
stochastic Petri nets
stochastic process algebras
Petri box calculus
discrete time
transition systems
operational semantics
dts-boxes
denotational semantics
empty loops
probabilistic equivalences - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł