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
931999
Decidability of properties of timed-arc Petri nets
DF Escrig, VV Ruiz, OM Alonso
International Conference on Application and Theory of Petri Nets, 187-206, 2000
902000
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
752011
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
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
582008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
521989
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
482001
Extending the Petri box calculus with time
OM Alonso, DF Escrig
International Conference on Application and Theory of Petri Nets, 303-322, 2001
342001
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
Bisimilarity congruences for open terms and term graphs via tile logic
R Bruni, D 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
262007
Universal coinductive characterisations of process semantics
DF Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
222008
Logics for contravariant simulations
I Fábregas, D 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
Bisimulations up-to for the linear time branching time spectrum
D Frutos Escrig, CG Rodríguez
International Conference on Concurrency Theory, 278-292, 2005
212005
A sound and complete proof system for probabilistic processes
FC Gómez, D Frutos Escrig, VV Ruiz
International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997
211997
Games for bisimulations and abstraction
DDF Escrig, JJA Keiren, TAC Willemse
arXiv preprint arXiv:1611.00401, 2016
192016
Non-strongly stable orders also define interesting simulation relations
I Fábregas, D Frutos Escrig, M Palomino
International Conference on Algebra and Coalgebra in Computer Science, 221-235, 2009
192009
Global timed bisimulation: An introduction
D Frutos-Escrig, N López, M Núnez
Formal Methods for Protocol Engineering and Distributed Systems, 401-416, 1999
191999
The system can't perform the operation now. Try again later.
Articles 1–20