scientific article
From MaRDI portal
Publication:2863904
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Non-bisimulation-based Markovian behavioral equivalences ⋮ Equivalences for fluid stochastic Petri nets ⋮ Discrete time stochastic and deterministic Petri box calculus dtsdPBC ⋮ Logical characterization of fluid equivalences
This page was built for publication:
