DAVID DE FRUTOS ESCRIG
DAVID DE FRUTOS ESCRIG
Dirección de correo verificada de ucm.es
Título
Citado por
Citado por
Año
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
911999
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
721989
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
672011
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
522008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
501989
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
452001
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
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
312006
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
312006
Preventing unraveling in social networks gets harder
R Chitnis, F Fomin, P Golovach
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 2013
292013
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
282000
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
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
222005
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
222005
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
221997
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
Formal Techniques for Distributed Systems, 224-231, 2010
212010
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
212009
Universal coinductive characterisations of process semantics
D de Frutos Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
212008
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
201999
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20