Publication:2863904
From MaRDI portal
zbMath1276.68119MaRDI QIDQ2863904
Marco Bernardo, Stefania Botta
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107000424?np=y
03B45: Modal logic (including the logic of norms)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Discrete time stochastic and deterministic Petri box calculus dtsdPBC, Logical characterization of fluid equivalences, Non-bisimulation-based Markovian behavioral equivalences, Equivalences for fluid stochastic Petri nets