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
962011
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
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
811989
Acceptance trees for probabilistic processes
M Núñez, D de Frutos, L Llana
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
611995
Name creation vs. replication in petri net systems
F Rosa-Velardo, D de Frutos-Escrig
Fundamenta Informaticae 88 (3), 329-356, 2008
592008
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
512001
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
392001
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
332006
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
292017
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
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
241997
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
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
The system can't perform the operation now. Try again later.
Articles 1–20