Seguir
DAVID DE FRUTOS ESCRIG
DAVID DE FRUTOS ESCRIG
Dirección de correo verificada de ucm.es
Título
Citado por
Citado por
Año
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
972000
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
941999
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
932011
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
791989
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
592008
Acceptance trees for probabilistic processes
M Núñez, D de Frutos, L Llana
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
591995
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
502001
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
481989
Extending the Petri box calculus with time
OM Alonso, DF de Escrig
International Conference on Application and Theory of Petri Nets, 303-322, 2001
382001
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
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
312000
Games for bisimulations and abstraction
DDF Escrig, JJA Keiren, TAC Willemse
Logical Methods in Computer Science 13, 2017
282017
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
272007
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
252010
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
242009
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
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
DF Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
202008
Global timed bisimulation: An introduction
D de Frutos-Escrig, N López, M Núnez
International Conference on Protocol Specification, Testing and Verification …, 1999
201999
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20