Forward and Backward Bisimulations for Chemical Reaction Networks

From MaRDI portal
Publication:5357706

DOI10.4230/LIPIcs.CONCUR.2015.226zbMath1374.68204arXiv1507.00163OpenAlexW1270629017MaRDI QIDQ5357706

Max Tschaikowski, Luca Cardelli, Mirco Tribastone, Andrea Vandin

Publication date: 12 September 2017

Full work available at URL: https://arxiv.org/abs/1507.00163



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (18)




This page was built for publication: Forward and Backward Bisimulations for Chemical Reaction Networks