A Flat Process Calculus for Nested Membrane Interactions
From MaRDI portal
Publication:4621177
DOI10.7561/SACS.2014.1.91zbMath1424.68101MaRDI QIDQ4621177
Roberto Bruni, Davide Chiarugi, Chiara Bodei, Linda Brodo
Publication date: 8 February 2019
Published in: Scientific Annals of Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Process calculi for biological processes ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ A formal approach to open multiparty interactions ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ A constraint-based language for multiparty interactions ⋮ A process algebraic approach to reaction systems ⋮ On the expressiveness of π-calculus for encoding mobile ambients
This page was built for publication: A Flat Process Calculus for Nested Membrane Interactions
