Channel abstractions for network security
Michele Bugliesi, Riccardo Focardi
págs. 3-44
Turing universality of the Biochemical Ground Form
Luca Cardelli, Gianluigi Zavattaro
págs. 45-73
Modal and mixed specifications: key decision problems and their complexities
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
págs. 75-103
© 2008-2024 Fundación Dialnet · Todos los derechos reservados