| On non-decidability of reachability for timed-arc Petri nets VV Ruiz, D de Frutos Escrig, FC Gomez Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999 | 96 | 1999 |
| Decidability of properties of timed-arc Petri nets DF Escrig, VV Ruiz, OM Alonso Application and Theory of Petri Nets 2000: 21st International Conference …, 2000 | 87 | 2000 |
| Decidability and complexity of Petri nets with unordered data F Rosa-Velardo, D de Frutos-Escrig Theoretical Computer Science 412 (34), 4439-4451, 2011 | 77 | 2011 |
| TIC: A timed calculus for LOTOS J Quemada, A Azcorra, D Frutos-Escrig Proceedings of the IFIP TC/WG6. 1 Second International Conference on Formal …, 1989 | 75 | 1989 |
| Acceptance Trees for Probabilistic Processes. M Núñez, D de Frutos-Escrig, LFL Díaz CONCUR 95, 249-263, 1995 | 59 | 1995 |
| Name creation vs. replication in petri net systems F Rosa-Velardo, D de Frutos-Escrig Fundamenta Informaticae 88 (3), 329-356, 2008 | 57 | 2008 |
| Decidability of home space property D de Frutos Escrig, C Johnen Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989 | 51 | 1989 |
| sPBC: a Markovian extension of finite Petri box calculus H Macia, V Valero, D de Frutos-Escrig Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 47 | 2001 |
| Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems F Rosa-Velardo, O Marroquín-Alonso, D de Frutos-Escrig Electronic Notes in Theoretical Computer Science 150 (1), 103-126, 2006 | 34 | 2006 |
| Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems F Rosa-Velardo, O Marroquín-Alonso, D de Frutos-Escrig Electronic Notes in Theoretical Computer Science 150 (1), 103-126, 2006 | 34 | 2006 |
| Extending the Petri box calculus with time OM Alonso, DF de Escrig Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001 | 34 | 2001 |
| Bisimilarity congruences for open terms and term graphs via tile logic R Bruni, D de Frutos-Escrig, N Marti-Oliet, U Montanari CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000 | 27 | 2000 |
| On the expressiveness of mobile synchronizing Petri nets F Rosa-Velardo, D de Frutos-Escrig, O Marroquín-Alonso Electronic Notes in Theoretical Computer Science 180 (1), 77-94, 2007 | 26 | 2007 |
| Logics for contravariant simulations I Fábregas, D de Frutos Escrig, M Palomino Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 …, 2010 | 24 | 2010 |
| Games for bisimulations and abstraction DDF Escrig, JJA Keiren, TAC Willemse arXiv preprint arXiv:1611.00401, 2016 | 22 | 2016 |
| Non-strongly stable orders also define interesting simulation relations I Fábregas, D de Frutos Escrig, M Palomino Algebra and Coalgebra in Computer Science: Third International Conference …, 2009 | 22 | 2009 |
| Universal coinductive characterisations of process semantics DF Escrig, CG Rodríguez Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 21 | 2008 |
| Bisimulations up-to for the linear time branching time spectrum D de Frutos Escrig, CG Rodríguez CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 21 | 2005 |
| A sound and complete proof system for probabilistic processes FC Gómez, D de Frutos Escrig, VV Ruiz Transformation-Based Reactive Systems Development: 4th International AMAST …, 1997 | 21 | 1997 |
| Ready to preorder: an algebraic and general proof CG Rodríguez, M Palomino The Journal of Logic and Algebraic Programming 78 (7), 539-551, 2009 | 20 | 2009 |
