Follow
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
961999
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
862000
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
772011
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
751989
Acceptance Trees for Probabilistic Processes.
M Núñez, D de Frutos-Escrig, LFL Díaz
CONCUR 95, 249-263, 1995
591995
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
572008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
511989
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
472001
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
342006
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
342006
Extending the Petri box calculus with time
OM Alonso, DF de Escrig
Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001
342001
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
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
262007
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 …, 2010
232010
Games for bisimulations and abstraction
DDF Escrig, JJA Keiren, TAC Willemse
arXiv preprint arXiv:1611.00401, 2016
222016
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
212009
Universal coinductive characterisations of process semantics
DF Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
212008
Bisimulations up-to for the linear time branching time spectrum
D de Frutos Escrig, CG Rodríguez
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
212005
A sound and complete proof system for probabilistic processes
FC Gómez, D de Frutos Escrig, VV Ruiz
Transformation-Based Reactive Systems Development: 4th International AMAST …, 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
The system can't perform the operation now. Try again later.
Articles 1–20