 | 2009 |
|---|
| 51 |       | Ignacio Fábregas,
David de Frutos-Escrig,
Miguel Palomino:
Non-strongly Stable Orders Also Define Interesting Simulation Relations.
CALCO 2009: 221-235 |
| 50 | | Fernando Rosa Velardo,
David de Frutos-Escrig:
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.
Petri Nets 2009: 63-82 |
| 49 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez,
Miguel Palomino:
On the Unification of Process Semantics: Observational Semantics.
SOFSEM 2009: 279-290 |
| 48 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez,
Miguel Palomino:
On the Unification of Process Semantics: Equational Semantics.
Electr. Notes Theor. Comput. Sci. 249: 243-267 (2009) |
| 47 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
(Bi)simulations up-to characterise process semantics.
Inf. Comput. 207(2): 146-170 (2009) |
| 2008 |
|---|
| 46 | | David de Frutos-Escrig,
Miguel Palomino,
Ignacio Fábregas:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations.
FORTE 2008: 283-298 |
| 45 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Universal Coinductive Characterisations of Process Semantics.
IFIP TCS 2008: 397-412 |
| 44 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.
Electr. Notes Theor. Comput. Sci. 206: 41-58 (2008) |
| 43 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez,
Miguel Palomino:
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences.
Electr. Notes Theor. Comput. Sci. 212: 149-162 (2008) |
| 42 | | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
David de Frutos-Escrig:
A congruence relation for sPBC.
Formal Methods in System Design 32(2): 85-128 (2008) |
| 41 | | Fernando Rosa Velardo,
David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
Fundam. Inform. 88(3): 329-356 (2008) |
| 2007 |
|---|
| 40 | | David de Frutos-Escrig,
Fernando Rosa Velardo,
Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems.
FORTE 2007: 143-159 |
| 39 | | Fernando Rosa Velardo,
David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
ICATPN 2007: 402-422 |
| 38 | | Ignacio Fábregas,
Miguel Palomino,
David de Frutos-Escrig:
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.
ICTAC 2007: 231-245 |
| 37 | | Fernando Rosa Velardo,
David de Frutos-Escrig,
Olga Marroquín Alonso:
On the Expressiveness of Mobile Synchronizing Petri Nets.
Electr. Notes Theor. Comput. Sci. 180(1): 77-94 (2007) |
| 36 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Simulations Up-to and Canonical Preorders: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 192(1): 13-28 (2007) |
| 2006 |
|---|
| 35 | | Fernando Rosa Velardo,
David de Frutos-Escrig:
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
ATVA 2006: 461-476 |
| 34 | | Fernando Rosa Velardo,
David de Frutos-Escrig,
Olga Marroquín Alonso:
Replicated Ubiquitous Nets.
ICCSA (4) 2006: 158-168 |
| 33 | | Fernando Rosa Velardo,
Olga Marroquín Alonso,
David de Frutos-Escrig:
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
Electr. Notes Theor. Comput. Sci. 150(1): 103-126 (2006) |
| 32 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Process Equivalences as Global Bisimulations.
J. UCS 12(11): 1521-1550 (2006) |
| 2005 |
|---|
| 31 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Bisimulations Up-to for the Linear Time Branching Time Spectrum.
CONCUR 2005: 278-292 |
| 30 | | David de Frutos-Escrig,
Olga Marroquín Alonso,
Fernando Rosa Velardo:
Ubiquitous Systems and Petri Nets.
ICCSA (2) 2005: 1156-1166 |
| 29 | | Fernando Rosa Velardo,
Clara Segura,
David de Frutos-Escrig:
Tagged Systems: A Framework for the Specification of History-dependent Properties.
Electr. Notes Theor. Comput. Sci. 137(1): 151-174 (2005) |
| 2004 |
|---|
| 28 |  | David de Frutos-Escrig,
Manuel Núñez:
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Springer 2004 |
| 27 | | David de Frutos-Escrig,
Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation.
FATES 2004: 33-48 |
| 2003 |
|---|
| 26 | | David de Frutos-Escrig,
Olga Marroquín Alonso:
Replicated Ambient Petri Nets.
International Conference on Computational Science 2003: 774-783 |
| 25 | | David de Frutos-Escrig,
Olga Marroquín Alonso:
Ambient Petri nets.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 2001 |
|---|
| 24 | | Olga Marroquín Alonso,
David de Frutos-Escrig:
Extending the Petri Box Calculus with Time.
ICATPN 2001: 303-322 |
| 2000 |
|---|
| 23 | | Roberto Bruni,
David de Frutos-Escrig,
Narciso Martí-Oliet,
Ugo Montanari:
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.
CONCUR 2000: 259-274 |
| 22 | | David de Frutos-Escrig,
Valentín Valero Ruiz,
Olga Marroquín Alonso:
Decidability of Properties of Timed-Arc Petri Nets.
ICATPN 2000: 187-206 |
| 1999 |
|---|
| 21 | | Luis Fernando Llana Díaz,
David de Frutos-Escrig:
Relating May and Must Testing Semantics for Discrete Timed Process Algebras.
ASIAN 1999: 74-86 |
| 20 | | David de Frutos-Escrig,
Natalia López,
Manuel Núñez:
Global Timed Bisimulation: An Introduction.
FORTE 1999: 401-416 |
| 1997 |
|---|
| 19 | | Fernando Cuartero,
David de Frutos-Escrig,
Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes.
ARTS 1997: 340-352 |
| 18 | | Luis Fernando Llana Díaz,
David de Frutos-Escrig:
Denotational Semantics for Timed Testing.
ARTS 1997: 368-382 |
| 17 | | David de Frutos-Escrig,
Luis Fernando Llana Díaz,
Manuel Núñez:
Friendly Testing as a Conformance Relation.
FORTE 1997: 283-298 |
| 1995 |
|---|
| 16 | | Valentín Valero Ruiz,
David de Frutos-Escrig,
Fernando Cuartero:
Timed Processes of Timed Petri Nets.
Application and Theory of Petri Nets 1995: 490-509 |
| 15 | | Manuel Núñez,
David de Frutos-Escrig,
Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes.
CONCUR 1995: 249-263 |
| 14 | | Manuel Núñez,
David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS.
FORTE 1995: 367-382 |
| 13 | | David de Frutos-Escrig,
Manuel Núñez,
Juan Quemada:
Characterizing termination in LOTOS via testing.
PSTV 1995: 237-250 |
| 1993 |
|---|
| 12 | | David de Frutos-Escrig:
A Characterization of LOTOS Representable Networks of Parallel Processes.
AMAST 1993: 281-288 |
| 11 | | Juan Quemada,
David de Frutos-Escrig,
Arturo Azcorra:
TIC: A TImed Calculus.
Formal Asp. Comput. 5(3): 224-252 (1993) |
| 1991 |
|---|
| 10 | | Santiago Pavón,
M. Hulström,
Juan Quemada,
David de Frutos-Escrig,
Y. Ortega:
Inverse Expansion.
FORTE 1991: 297-312 |
| 9 | | 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.
PNPM 1991: 154-163 |
| 8 | | Yolanda Ortega-Mallén,
David de Frutos-Escrig:
A Complete Proof System for Timed Observations.
TAPSOFT, Vol.1 1991: 412-440 |
| 7 | | David de Frutos-Escrig,
María-Inés Fernández-Camacho:
On Narrowing Strategies for Partial Non-Strict Functions.
TAPSOFT, Vol.2 1991: 416-437 |
| 1990 |
|---|
| 6 | | Tommaso Bolognesi,
David de Frutos-Escrig,
Yolanda Ortega-Mallén:
Graphical Composition Theorems for Parallel and Hiding Operators.
FORTE 1990: 459-470 |
| 1989 |
|---|
| 5 | | Juan Quemada,
Arturo Azcorra,
David de Frutos-Escrig:
TIC: A Timed Calculus for LOTOS.
FORTE 1989: 195-209 |
| 1987 |
|---|
| 4 | | David de Frutos-Escrig:
Probabilistic Ianov's Schemes.
Theor. Comput. Sci. 53: 67-97 (1987) |
| 1986 |
|---|
| 3 | | David de Frutos-Escrig:
Probabilistic Ianov's Schemes.
CAAP 1986: 142-157 |
| 2 | | David de Frutos-Escrig:
Some Probabilistic Powerdomains in the Category SFP.
STACS 1986: 49-59 |
| 1984 |
|---|
| 1 | | David de Frutos-Escrig:
A Characterization of Plotkin's Order in Powerdomains, and Some of its Properties.
Theor. Comput. Sci. 31: 73-82 (1984) |
