Abstract. Van Glabbeek's linear time-branching time spectrum is one of the most relevant work on comparative study on process semantics, in which semantics are partially ordered by their discrimination power. In this paper we bring forward a refinement of this classification and show how the process semantics can be dealt with in a uniform way: based on the very natural concept of constrained simulation we show how we can classify the spectrum in layers; for the families lying in the same layer we show how to obtain in a generic way equational, observational, logical and operational characterizations; relations among layers are also very natural and differences just stem from the constraint imposed on the simulations that rule the layers. Our methodology also shows how to achieve a uniform treatment of semantic preorders and equivalences. ACM CCS: [Theory of computation]:Formal languages and automata theory-FormalismsAlgebraic language theory; Formal languages and automata theory-Semantics and reasoning-Program semantics; Logic; Models of computation-Concurrency.
Abstract. Recently several authors have proposed some notions of distance between processes that try to quantify "how far away" is a process to be related with some other with respect to a certain semantics. These proposals are usually based on the simulation game, and therefore are mainly defined for simulation semantics or other semantics more or less close to these. These distances have a local character since only one of the successors of each state is taken into account in their computation. Here, we present an alternative proposal exploiting the fact that processes are trees. We define the distance between two of them as the cost of the transformations that we need to apply to get two processes related by the corresponding semantics. Our new distances can be uniformly defined for all the semantics in the ltbt-spectrum.
Abstract. Recently, we have presented operational and denotational definitions for distances between processes corresponding to any semantics in the ltbt-spectrum. In this paper, we develop a general algebraic framework to define distances between terms from any arbitrary signature. We apply this framework obtaining a new algebraic characterization of our previous distances. Moreover, we prove the generality of our approach developing an algebraic characterization of the distances based on the (bi)simulation game by other authors.
Se aplicó un método para la producción e integración de fotomapas digitales con fines de evaluación del crecimiento de las principales áreas urbanas en Texcoco, México. Se elaboraron tres fotomapas. Se evaluaron sus exactitudes cartográficas con base en: a) la medida del error medio cuadrático total por foto (?), evaluado al georreferir las fotografías tomando la posición de los puntos de control del terreno previamente al procesa de corrección geométrica, y b) las diferencias de posición entre algunos de los rasgos de las fotografías aéreas corregidas geométricamente, al compararlos con los mismos rasgos digitízados de una cartografía existente a escala detallada (1:10 000). Los resultados muestran que la metodología empleada es accesible, útil y válida en términos de exactitud cartográfica, para registrar y cuantificar cambios en la extensión de las áreas urbanas con relieve casi plano, Se encontró que existe un crecimiento sustancial en algunos sectores del área evaluada, particularmente en los fraccionamientos Lomas de Cristo y Lomas de San Esteban, con un porcentaje acumulado de crecimiento hasta de 346% durante el período considerado (1970-1997).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.