Enumerated type semantics for the calculus of looping sequences
From MaRDI portal
Publication:3006158
DOI10.1051/ita/2011010zbMath1214.92028MaRDI QIDQ3006158
Publication date: 10 June 2011
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/222027
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Typed stochastic semantics for the calculus of looping sequences
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- Bisimulation Congruences in the Calculus of Looping Sequences
- Type Disciplines for Analysing Biologically Relevant Properties
- Brane Calculi