Search the dblp DataBase
David de Frutos-Escrig :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David de Frutos-Escrig A Characterization of LOTOS Representable Networks of Parallel Processes. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:281-288 [Conf ] Olga Marroquín Alonso , David de Frutos-Escrig Extending the Petri Box Calculus with Time. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:303-322 [Conf ] David de Frutos-Escrig , Valentín Valero Ruiz , Olga Marroquín Alonso Decidability of Properties of Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:187-206 [Conf ] Valentín Valero Ruiz , David de Frutos-Escrig , Fernando Cuartero Timed Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1995, pp:490-509 [Conf ] Fernando Cuartero , David de Frutos-Escrig , Valentín Valero Ruiz A Sound and Complete Proof System for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] ARTS, 1997, pp:340-352 [Conf ] Luis Fernando Llana Díaz , David de Frutos-Escrig Denotational Semantics for Timed Testing. [Citation Graph (0, 0)][DBLP ] ARTS, 1997, pp:368-382 [Conf ] Luis Fernando Llana Díaz , David de Frutos-Escrig Relating May and Must Testing Semantics for Discrete Timed Process Algebras. [Citation Graph (0, 0)][DBLP ] ASIAN, 1999, pp:74-86 [Conf ] Fernando Rosa Velardo , David de Frutos-Escrig Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:461-476 [Conf ] David de Frutos-Escrig Probabilistic Ianov's Schemes. [Citation Graph (0, 0)][DBLP ] CAAP, 1986, pp:142-157 [Conf ] Roberto Bruni , David de Frutos-Escrig , Narciso Martí-Oliet , Ugo Montanari Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. [Citation Graph (0, 0)][DBLP ] CONCUR, 2000, pp:259-274 [Conf ] David de Frutos-Escrig , Carlos Gregorio-Rodríguez Bisimulations Up-to for the Linear Time Branching Time Spectrum. [Citation Graph (0, 0)][DBLP ] CONCUR, 2005, pp:278-292 [Conf ] Manuel Núñez , David de Frutos-Escrig , Luis Fernando Llana Díaz Acceptance Trees for Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1995, pp:249-263 [Conf ] David de Frutos-Escrig , Carlos Gregorio-Rodríguez Preserving Contexts for Soft Conformance Relation. [Citation Graph (0, 0)][DBLP ] FATES, 2004, pp:33-48 [Conf ] Tommaso Bolognesi , David de Frutos-Escrig , Yolanda Ortega-Mallén Graphical Composition Theorems for Parallel and Hiding Operators. [Citation Graph (0, 0)][DBLP ] FORTE, 1990, pp:459-470 [Conf ] David de Frutos-Escrig , Luis Fernando Llana Díaz , Manuel Núñez Friendly Testing as a Conformance Relation. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:283-298 [Conf ] David de Frutos-Escrig , Natalia López , Manuel Núñez Global Timed Bisimulation: An Introduction. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:401-416 [Conf ] Manuel Núñez , David de Frutos-Escrig Testing Semantics for Probabilistic LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1995, pp:367-382 [Conf ] Santiago Pavón , M. Hulström , Juan Quemada , David de Frutos-Escrig , Y. Ortega Inverse Expansion. [Citation Graph (0, 0)][DBLP ] FORTE, 1991, pp:297-312 [Conf ] Juan Quemada , Arturo Azcorra , David de Frutos-Escrig TIC: A Timed Calculus for LOTOS. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:195-209 [Conf ] David de Frutos-Escrig , Olga Marroquín Alonso Replicated Ambient Petri Nets. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science, 2003, pp:774-783 [Conf ] David de Frutos-Escrig , Olga Marroquín Alonso , Fernando Rosa Velardo Ubiquitous Systems and Petri Nets. [Citation Graph (0, 0)][DBLP ] ICCSA (2), 2005, pp:1156-1166 [Conf ] Fernando Rosa Velardo , David de Frutos-Escrig , Olga Marroquín Alonso Replicated Ubiquitous Nets. [Citation Graph (0, 0)][DBLP ] ICCSA (4), 2006, pp:158-168 [Conf ] Valentín Valero Ruiz , David de Frutos-Escrig , Fernando Cuartero Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. [Citation Graph (0, 0)][DBLP ] PNPM, 1991, pp:154-163 [Conf ] David de Frutos-Escrig , Manuel Núñez , Juan Quemada Characterizing termination in LOTOS via testing. [Citation Graph (0, 0)][DBLP ] PSTV, 1995, pp:237-250 [Conf ] David de Frutos-Escrig Some Probabilistic Powerdomains in the Category SFP. [Citation Graph (0, 0)][DBLP ] STACS, 1986, pp:49-59 [Conf ] David de Frutos-Escrig , María-Inés Fernández-Camacho On Narrowing Strategies for Partial Non-Strict Functions. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1991, pp:416-437 [Conf ] Yolanda Ortega-Mallén , David de Frutos-Escrig A Complete Proof System for Timed Observations. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1991, pp:412-440 [Conf ] David de Frutos-Escrig , Olga Marroquín Alonso Ambient Petri nets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal ] Fernando Rosa Velardo , Olga Marroquín Alonso , David de Frutos-Escrig Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:103-126 [Journal ] Fernando Rosa Velardo , Clara Segura , David de Frutos-Escrig Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal ] Juan Quemada , David de Frutos-Escrig , Arturo Azcorra TIC: A TImed Calculus. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1993, v:5, n:3, pp:224-252 [Journal ] David de Frutos-Escrig , Carlos Gregorio-Rodríguez Process Equivalences as Global Bisimulations. [Citation Graph (0, 0)][DBLP ] J. UCS, 2006, v:12, n:11, pp:1521-1550 [Journal ] David de Frutos-Escrig A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:31, n:, pp:73-82 [Journal ] David de Frutos-Escrig Probabilistic Ianov's Schemes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:53, n:, pp:67-97 [Journal ] Fernando Rosa Velardo , David de Frutos-Escrig Name Creation vs. Replication in Petri Net Systems. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:402-422 [Conf ] David de Frutos-Escrig , Fernando Rosa Velardo , Carlos Gregorio-Rodríguez New Bisimulation Semantics for Distributed Systems. [Citation Graph (0, 0)][DBLP ] FORTE, 2007, pp:143-159 [Conf ] Ignacio Fábregas , Miguel Palomino , David de Frutos-Escrig Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. [Citation Graph (0, 0)][DBLP ] ICTAC, 2007, pp:231-245 [Conf ] Fernando Rosa Velardo , David de Frutos-Escrig , Olga Marroquín Alonso On the Expressiveness of Mobile Synchronizing Petri Nets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:77-94 [Journal ] Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP ] Forward Analysis for Petri Nets with Name Creation. [Citation Graph (, )][DBLP ] Non-strongly Stable Orders Also Define Interesting Simulation Relations. [Citation Graph (, )][DBLP ] Logics for Contravariant Simulations. [Citation Graph (, )][DBLP ] Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. [Citation Graph (, )][DBLP ] Universal Coinductive Characterisations of Process Semantics. [Citation Graph (, )][DBLP ] On the Unification of Process Semantics: Observational Semantics. [Citation Graph (, )][DBLP ] On the Expressiveness of Refinement Settings. [Citation Graph (, )][DBLP ] Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics [Citation Graph (, )][DBLP ] Simulations Up-to and Canonical Preorders: (Extended Abstract). [Citation Graph (, )][DBLP ] Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. [Citation Graph (, )][DBLP ] Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. [Citation Graph (, )][DBLP ] On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.010secs