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 | 97 | 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 | 96 | 2011 |
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 | 94 | 1999 |
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 | 81 | 1989 |
Acceptance trees for probabilistic processes M Núñez, D de Frutos, L Llana CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995 | 61 | 1995 |
Name creation vs. replication in petri net systems F Rosa-Velardo, D de Frutos-Escrig Fundamenta Informaticae 88 (3), 329-356, 2008 | 59 | 2008 |
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 | 51 | 2001 |
Decidability of home space property D de Frutos Escrig, C Johnen Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989 | 48 | 1989 |
Extending the Petri box calculus with time OM Alonso, DF de Escrig International Conference on Application and Theory of Petri Nets, 303-322, 2001 | 39 | 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 | 33 | 2006 |
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 | 31 | 2000 |
Games for bisimulations and abstraction DDF Escrig, JJA Keiren, TAC Willemse Logical Methods in Computer Science 13, 2017 | 29 | 2017 |
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 | 27 | 2007 |
Logics for contravariant simulations I Fábregas, D de Frutos Escrig, M Palomino International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 25 | 2010 |
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 | 24 | 2009 |
A sound and complete proof system for probabilistic processes FC Gómez, D de Frutos Escrig, VV Ruiz International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997 | 24 | 1997 |
Bisimulations up-to for the linear time branching time spectrum D de Frutos Escrig, CG Rodríguez International Conference on Concurrency Theory, 278-292, 2005 | 22 | 2005 |
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 |
Universal coinductive characterisations of process semantics DF Escrig, CG Rodríguez Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 20 | 2008 |
Global timed bisimulation: An introduction D de Frutos-Escrig, N López, M Núnez International Conference on Protocol Specification, Testing and Verification …, 1999 | 20 | 1999 |