DAVID DE FRUTOS ESCRIG
Title
Cited by
Cited by
Year
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
891999
Decidability of properties of timed-arc Petri nets
D de Frutos Escrig, VV Ruiz, OM Alonso
International Conference on Application and Theory of Petri Nets, 187-206, 2000
852000
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
741989
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
692011
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
532008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
491989
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
462001
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
322006
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
322006
Extending the Petri box calculus with time
OM Alonso, DF de Escrig
International Conference on Application and Theory of Petri Nets, 303-322, 2001
322001
Preventing unraveling in social networks gets harder
RH Chitnis, FV Fomin, PA Golovach
Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
302013
Bisimilarity congruences for open terms and term graphs via tile logic
R Bruni, D de Frutos-Escrig, N Marti-Oliet, U Montanari
International Conference on Concurrency Theory, 259-274, 2000
272000
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
252007
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
Formal Techniques for Distributed Systems, 224-231, 2010
212010
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
212005
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
212005
Global timed bisimulation: An introduction
D de Frutos-Escrig, N López, M Núnez
Formal Methods for Protocol Engineering and Distributed Systems, 401-416, 1999
211999
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
211997
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
202009
Universal coinductive characterisations of process semantics
D de Frutos Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
202008
The system can't perform the operation now. Try again later.
Articles 1–20