Buchumschlag

On decidability properties of two fragments of the asynchronous π-calculus

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jesús A. Aranda B.
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Universidad del Valle 2013
Schlagworte:	Ingeniería divergence convergence Expressiveness process calculi
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Evaluation of regional β convergence in EU countries at NUTS3 level
von: Violeta Pukelienė
Veröffentlicht: (2012)

ESTIMATION OF UNEVEN DEVELOPMENT OF LITHUANIAN REGIONS
von: Diana Cibulskiene
Veröffentlicht: (2005)

A survey of computational calculi used in musical applications
von: Gerardo M. Sarria M.
Veröffentlicht: (2013)

Flexible ureterorenoscopy: State of the art and practical guide of tips and tricks
von: David Álvarez Villaraga
Veröffentlicht: (2016)

Suppurative minor salivary gland sialolithiasis
von: Camila de Oliveira Barbeiro
Veröffentlicht: (2022)

Intra-oral surgical access for the treatment of bilateral submandibular sialolithiasis: case report
von: Ricardo Martins
Veröffentlicht: (2012)

More efficient proof-search for sequents of temporal logic
von: Romas Alonderis
Veröffentlicht: (2022)

Korovkin type approximation theorem for functions of two variables via statistical summability (C, 1)
von: Mohammad Mursaleen
Veröffentlicht: (2015)

Adaptive Dynamic Fixation Sequences: Engineering Growth Through Stochastic Selection and Deterministic Scheduling
von: Girum Habtamu Engidaw
Veröffentlicht: (2026)

Bulletin of the Section of Logic
Veröffentlicht: (2020)

Beyond Geach: A Place for Expressivisms
von: José Andrés Forero-Mora
Veröffentlicht: (2022)

Analysis of prosodic features: towards modelling of emotional and pragmatic attributes of speech
von: Jordi Adell
Veröffentlicht: (2005)

Some Generalized Lacunary statistically difference double seminormed sequence spaces defined by Orlicz function
von: Bipan Hazarika
Veröffentlicht: (2013)

Study of scenarios associated with the development of the MACTOR Agropolis in the Middle Magdalena region of Santander- Colombia
von: Jenny Katherine Castaño-Castellanos
Veröffentlicht: (2020)

New experiments on speaker diarization for unsupervised speaking style voice building for speech synthesis
von: Beatriz Martínez-González
Veröffentlicht: (2014)

Discovery of The Universal Destabilization Arc and the Transduction Design Pattern: A Structural Discovery Emerging from SAT Analysis of Plato's Dialogues
von: Contento, Jessica
Veröffentlicht: (2026)

Therapeutic Effects of Poetry During Lockdown: Using Catharsis and Expressive Art Theory in Context to Students and Women
von: Priyansh Raghuwanshi
Veröffentlicht: (2021)

Up Tight Ain't Right
von: Goodman, Kenneth
Veröffentlicht: (1972)

Parental stress as a mediator between parents’ emotion regulation and youth’s psychological symptoms during the COVID-19 lockdown: a cross-sectional study
von: Mireia Orgilés
Veröffentlicht: (2023)

Chapter Variazioni in tema di linguaggio e giustizia amministrativa di fronte al regime
von: FREDIANI, Emiliano
Veröffentlicht: (2022)

Divergent predation environment between two sister species of livebearing fishes (Cyprinodontiformes: Poeciliidae) predicts boldness, activity, and exploration behavior
von: David A. Money
Veröffentlicht: (2017)

GROUPING OF CATINGUEIRA GENOTYPES BASED ON MORPHOLOGICAL CHARACTERISTICS
von: Leonardo Silva Souza
Veröffentlicht: (2016)

On two new types of statistical convergence and a summability method
von: Hemen Dutta
Veröffentlicht: (2014)

QJSD Contraction for Thermal GAD: η = 1-γ
von: Alex Shvets
Veröffentlicht: (2026)

A global Jacobian smoothing algorithm for nonlinear complementarity problems
von: WILMER SÁNCHEZ
Veröffentlicht: (2021)

Regional Growth transitions and the evolution of income disparities in Europe
von: Carlos Pinho
Veröffentlicht: (2010)

Genetic admixture in species of Conyza (Asteraceae) as revealed by microsatellite markers
von: Carlos Alexandre Marochio
Veröffentlicht: (2017)

GENETIC PARAMETERS IN RIPARIAN REFLORESTATION WITHOUT STRUCTURE OF PROGENIES BY MIXED MODELS (REML/BLUP)
von: Alexandre Marques da Silva
Veröffentlicht: (2017)

Application of Pronominal Divergence and Anaphora Resolution in English-Hindi Machine Translation
von: Kamlesh Dutta
Veröffentlicht: (2009)

Figure 6 from: Jiang C, Zhu W, Wu S, Zhao X, Mohamed N, Li B (2025) Comparative mitogenomics, phylogeny, and biogeography of selected species of Saxicola (Aves, Passeriformes). ZooKeys 1249: 69-92. https://doi.org/10.3897/zookeys.1249.152269
von: Jiang, Chuan, et al.
Veröffentlicht: (2025)

On some I-convergent generalized difference lacunary double sequence spaces defined by orlicz functions
von: Bipan Hazarika
Veröffentlicht: (2013)

p -Bounded variation fuzzy real-valued double sequence space
von: Amar Jyoti Dutta
Veröffentlicht: (2013)

Reproducing Kernel Element Method for Galerkin Solution of Elastostatic Problems
von: Mario J. Juha
Veröffentlicht: (2012)

Exponentiality Test Based on Progressively Type-II Censored Data Via Extension of Cumulative Tsallis Divergence
von: Vahideh Ahrari
Veröffentlicht: (2021)

Local taxation in the EU: A convergence study
von: Francisco J. Delgado
Veröffentlicht: (2019)

Multivariate based marker analysis in turmeric (Curcuma longa L.)
von: K. R. Vijayalatha
Veröffentlicht: (2008)

Convergence rate in structural equation models – analysis of estimation methods and implications in the number of observations
von: Clodoaldo José Figueredo
Veröffentlicht: (2022)

A Structural No-Go Statement on Unbounded Physical Effectiveness
von: Gültekin, Jan Ercan
Veröffentlicht: (2026)

modeling genetic algorithms with interacting particle systems
von: P Del Moral
Veröffentlicht: (2001)

Evaluation of common bean accesses with multi-category variables
von: Amanda Nogueira de Albuquerque
Veröffentlicht: (2011)