34407 articles – 26936 Notices  [english version]
.:. Consultation > Par auteur > Aranda .:.
8 documents classés par :

fulltext access 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]
fulltext access Modelando Sistemas de Membranas en ntcc
Villota A., Aranda J., Juan Francisco D.
Dans XXXV Latin American Informatics Conference (2009) [inria-00430537 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]