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
881999
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
832000
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
731989
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
622011
Multiparty session types as coherence proofs
M Carbone, F Montesi, C Schürmann, N Yoshida
Acta Informatica 54 (3), 243-269, 2017
542017
Name creation vs. replication in Petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
512008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
471989
sPBC: a Markovian extension of finite Petri box calculus
H Macià, V Valero, D de Frutos-Escrig
Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001
432001
Verification of population protocols
J Esparza, P Ganty, J Leroux, R Majumdar
Acta Informatica 54 (2), 191-215, 2017
322017
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
302006
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
302006
Extending the Petri box calculus with time
OM Alonso, DF de Escrig
International Conference on Application and Theory of Petri Nets, 303-322, 2001
302001
Bisimilarity congruences for open terms and term graphs via tile logic
R Bruni, D de Frutos-Escrig, N Martí-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
Preventing unraveling in social networks gets harder
R Chitnis, FV Fomin, PA Golovach
arXiv preprint arXiv:1304.6420, 2013
232013
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
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54 (1), 41-83, 2017
212017
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
Formal Techniques for Distributed Systems, 224-231, 2010
212010
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20