scientific article

zbMath1249.68131MaRDI QIDQ2898944

Igor V. Tarasyuk

Publication date: 13 July 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

iterationmodelingoperational semanticsreductionperformance analysisdiscrete timedenotational semanticstransition systemPetri box calculusstochastic equivalencestochastic Petri netstochastic process algebradts-box

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Performance evaluation in stochastic process algebra dtsdPBC

This page was built for publication: