0 | -- | 0 | Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu. Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu |
1 | -- | 28 | Abdullah Alhumaidan, Jason Steggles. Modelling and Analysing Qualitative Biological Models using Rewriting Logic |
29 | -- | 55 | Jan A. Bergstra, C. A. Middelburg. Contradiction-Tolerant Process Algebra with Propositional Signals |
57 | -- | 86 | Ross Horne, Sjouke Mauw, Alwen Tiu. Semantics for Specialising Attack Trees based on Linear Logic |
87 | -- | 103 | Andrei Paun, Alfonso Rodríguez-Patón. P Systems Simulating Bacterial Conjugation: Universality and Properties |
105 | -- | 124 | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate. Binary Analysis based on Symbolic Execution and Reversible x86 Instructions |
125 | -- | 146 | Eneia Nicolae Todoran, Nikolaos Papaspyrou. Concurrency Semantics in Continuation-Passing Style |
147 | -- | 172 | Luis Valencia-Cabrera, David Orellana-Martín, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez, Mario J. Pérez-Jiménez. Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes |