Follow
DAVID DE FRUTOS ESCRIG
Title
Cited by
Cited by
Year
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
Decidability and complexity of Petri nets with unordered data
F Rosa-Velardo, D de Frutos-Escrig
Theoretical Computer Science 412 (34), 4439-4451, 2011
952011
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
951999
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
801989
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
632008
Decidability of home space property
D de Frutos Escrig, C Johnen
Université de Paris-Sud. Centre d'Orsay. Laboratoire de Recherche en …, 1989
611989
Acceptance trees for probabilistic processes
M Núñez, D de Frutos, L Llana
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
581995
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
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
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
282007
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
282000
Games for bisimulations and abstraction
DDF Escrig, JJA Keiren, TAC Willemse
Logical Methods in Computer Science 13, 2017
262017
Logics for contravariant simulations
I Fábregas, D de Frutos Escrig, M Palomino
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
242010
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
232009
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
Universal coinductive characterisations of process semantics
DF Escrig, CG Rodríguez
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
212008
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20