Volume 11,
Number 1,
2006
Selected Papers of the International Workshop on Security Analysis of Systems:
Formalisms and Tools (Orléans,
France,
June 21-22,
2004)
- Mathieu Baudet:
Random Polynomial-Time Attacks and Dolev-Yao Models.
7-21
- J. Chen:
Timed Extensions of p Calculus.
23-58
- Hervé Grall:
A Confinement Criterion for Securely Executing Mobile Code.
59-106
- Sébastien Limet, Gernot Salzer:
Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.
107-142
Volume 11,
Number 2,
2006
Volume 11,
Number 3,
2006
Selected Papers dedicated to Membrane Computing
- Robert Brijder, Matteo Cavaliere, Agustin Riscos-Núñez, Grzegorz Rozenberg, Dragos Sburlan:
Communication Membrane Systems with Active Symports.
241-261
- Matteo Cavaliere, Rudolf Freund, Alexander Leitsch, Gheorghe Paun:
Event-Related Outputs of Computations in P Systems.
263-278
- Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie:
On the Decidability of Model-Checking for P Systems.
279-298
- Tseren-Onolt Ishdorj:
Power and Efficiency of Minimal Parallelism in Polarizationless P Systems.
299-320
- Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Process Semantics for Membrane Systems.
321-340
Volume 11,
Number 4,
2006
Copyright © Tue Nov 17 01:42:04 2009
by Michael Ley (ley@uni-trier.de)
