Información del autor
Autor Frutos Escrig, David de |
Documentos disponibles escritos por este autor (58)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
n this paper we present a process algebra model of probabilistic communicating processes based on classical CSP. To define our model we have replaced internal non-determinism by generative probabilistic choices, and external non-determinism by r[...]![]()
texto impreso
![]()
texto impreso
![]()
texto impreso
Aceto, Luca ; Frutos Escrig, David de ; Gregorio Rodríguez, Carlos ; Ingolfsdottir, Anna | Springer | 2012This paper presents a complete account of positive and negative results on the finite axiomatizability of weak complete simulation semantics over the language BCCSP. We offer finite (un)conditional ground-complete axiomatizations for the weak co[...]![]()
texto impreso
This note shows that the trace simulation preorder does not have a finite inequational basis over the language BCCSP. Indeed, no collection of sound inequations of bounded depth is ground-complete with respect to the trace simulation preorder ov[...]![]()
texto impreso
Several years before the popularization of the Internet, Mark Weiser proposed the concept of ubiquitous computing with the purpose of enhancing the use of computers by making many computers available throughout the physical environment, but maki[...]![]()
texto impreso
Frutos Escrig, David de ; Gregorio Rodríguez, Carlos ; Palomino, Miguel ; Romero Hernández, David | Tech Univ Braunschweig, Inst Theoretical Computer Sci | 2013Van 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[...]![]()
texto impreso
We present a theoretical framework which allows to define in a uniform way coinductive characterisations of nearly any semantic preorder or equivalence between processes, by means of simulations up-to and bisimulations up-to. In particular, all [...]