Publication:3601873
From MaRDI portal
zbMath1154.68092MaRDI QIDQ3601873
M. Carmen Ruiz, Valentin Valero, Fernando Cuartero, Hermenegilda Macia
Publication date: 12 February 2009
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Performance analysis of concurrent systems in algebra dtsiPBC, Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
Uses Software