default search action
Scientific Annals of Computer Science, Volume 21
Volume 21, Number 1, 2011
- Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina:
Concurrency and Interaction in Complex Systems. 1-4 - Harsh Beohar, Pieter J. L. Cuijpers:
Desynchronizability of (Partial) Synchronous Closed Loop Systems. 5-38 - Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo:
Modular Verification of Interactive Systems with an Application to Biology. 39-72 - Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist:
Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation. 73-106 - Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson:
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. 107-149 - Rémi Mélisson, Daniel Romero, Romain Rouvoy, Lionel Seinturier:
An SCA-based Approach for Social and Pervasive Communications in Home Environments. 151-173
Volume 21, Number 2, 2011
- Luca Cardelli, Cosimo Laneve:
Reversibility in Massive Concurrent Systems. 175-198 - Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
Petri Nets for Biologically Motivated Computing. 199-225 - Antoine Spicher, Sergey Verlan:
Generalized Communicating P Systems Working in Fair Sequential Mode. 227-247 - L. Jason Steggles:
Abstracting Asynchronous Multi-Valued Networks. 249-282 - Jan A. Bergstra, Cornelis A. Middelburg:
Thread Extraction for Polyadic Instruction Sequences. 283-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.