.:. Consultation > Par auteur > Aranda .:.

8 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus Aranda J. Ecole Polytechnique X Universidad del Valle (27/11/2009), Catuscia Palamidessi (Dir.) [tel-00430495 - version 1]

Modelando Sistemas de Membranas en ntcc Villota A., Aranda J., Juan Francisco D. Dans XXXV Latin American Informatics Conference (2009) [inria-00430537 - version 1]

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems Aranda J., Assayag G., Olarte C., Rueda C., Mauricio T., Jorge P., Valencia F. D. Proc. of the 25th International Conference in Logic Programming ICLP'09 5649 (2009) 509-513 [inria-00426610 - version 1]

On the Expressive Power of Restriction and Priorities in CCS with replication Aranda J., Valencia F., Versari C. Dans Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 Volume 5504/2009 (2009) [inria-00430531 - version 1]

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin Aranda J., Jorge P., Rueda C., Valencia F. Dans Logic Programming Volume 5366/2009 (2008) [inria-00430533 - version 1]

Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi Aranda J., Di Giusto C., Palamidessi C., Valencia F. D. Dans 5th International Symposium on Formal Methods for Components and Objects (FMCO'06) 4709 (2006) 185-206 [inria-00239497 - version 1]

CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence Aranda J., Di Giusto C., Nielsen M., Valencia F. Dans 5th Asian Symposium on Programming Languages and Systems (APLAS'07) 4807 (2007) 383-398 [inria-00201547 - version 1]

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus Cacciagrano D., Corradini F., Aranda J., Valencia F. Dans 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07) (2007) 58-71 [inria-00201502 - version 1]