scientific article
From MaRDI portal
Publication:2847815
zbMath1271.68187MaRDI QIDQ2847815
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405176X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Weakest preconditions in fibrations, A coalgebraic approach to the semantics of the ambient calculus, Expressivity of coalgebraic modal logic: the limits and beyond, Processes as formal power series: a coinductive approach to denotational semantics, (Bi)simulations up-to characterise process semantics