×

zbMATH — the first resource for mathematics

de Frutos-Escrig, David

Compute Distance To:
Author ID: de-frutos-escrig.david Recent zbMATH articles by "de Frutos-Escrig, David"
Published as: de Frutos Escrig, David; de Frutos-Escrig, David; De Frutos Escrig, David; De Frutos-Escrig, David; Escrig, David de Frutos
External Links: ORCID
Documents Indexed: 53 Publications since 1989, including 2 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 106 times in 64 Documents Cited by Year
Decidability and complexity of Petri nets with unordered data. Zbl 1231.68172
Rosa-Velardo, Fernando; de Frutos-Escrig, David
11
2011
Decidability of properties of timed-arc Petri nets. Zbl 0986.68077
de Frutos Escrig, David; Valero Ruiz, Valentín; Marroquín Alonso, Olga
9
2000
Ready to preorder: an algebraic and general proof. Zbl 1187.68309
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
8
2009
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
Bisimulations up-to for the linear time branching time spectrum. Zbl 1134.68457
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
7
2005
On the unification of process semantics: equational semantics. Zbl 1337.68180
Escrig, David de Frutos; Rodríguez, Carlos Gregorio; Palomino, Miguel
6
2009
Name creation vs. replication in Petri net systems. Zbl 1154.68093
Rosa-Velardo, Fernando; de Frutos-Escrig, David
6
2008
(Bi)simulations up-to characterise process semantics. Zbl 1165.68054
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
5
2009
Unifying the linear time-branching time spectrum of process semantics. Zbl 1297.68181
de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Palomino, Miguel; Hernández, David Romero
4
2013
On the expressiveness of mobile synchronizing Petri nets. Zbl 1277.68205
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
4
2007
Simulations up-to and canonical preorders (extended abstract). Zbl 1278.68148
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
4
2007
Accelerations for the coverability set of Petri nets with names. Zbl 1248.68357
Rosa-Velardo, Fernando; Martos-Salgado, María; De Frutos-Escrig, David
3
2011
Decidability problems in Petri nets with names and replication. Zbl 1209.68341
Rosa-Velardo, Fernando; de Frutos-Escrig, David
3
2010
Coinductive characterisations reveal nice relations between preorders and equivalences. Zbl 1286.68350
De Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
3
2008
Axiomatizing weak ready simulation semantics over BCCSP. Zbl 1351.68177
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
New bisimulation semantics for distributed systems. Zbl 1215.68161
de Frutos-Escrig, David; Rosa-Velardo, Fernando; Gregorio-Rodríguez, Carlos
2
2007
Branching bisimulation games. Zbl 1347.68276
de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.
2
2016
On the unification of process semantics: observational semantics. Zbl 1206.68220
de Frutos Escrig, David; Gregorio Rodríguez, Carlos; Palomino, Miguel
2
2009
Replicated ubiquitous nets. Zbl 1209.68342
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
2
2006
Axiomatizing weak simulation semantics over BCCSP. Zbl 1359.68183
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2014
Non-strongly stable orders also define interesting simulation relations. Zbl 1239.68051
Fábregas, Ignacio; de Frutos Escrig, David; Palomino, Miguel
2
2009
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Zbl 1260.68252
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Extending the Petri box calculus with time. Zbl 0986.68082
Marroquín Alonso, Olga; de Frutos Escrig, David
1
2001
A complete proof system for timed observations. Zbl 0967.68512
Ortega-Mallén, Yolanda; de Frutos-Escrig, David
1
1991
Global timed bisimulation: An introduction. Zbl 0954.68113
de Frutos-Escrig, David; López, Natalia; Núñez, Manuel
1
1999
Distances between processes: a pure algebraic approach. Zbl 1394.68219
Hernández, David Romero; de Frutos Escrig, David
1
2013
Name creation vs. replication in Petri net systems. Zbl 1226.68065
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2007
Reflection and preservation of properties in coalgebraic (bi)simulations. Zbl 1147.68571
Fábregas, Ignacio; Palomino, Miguel; de Frutos Escrig, David
1
2007
The equational theory of weak complete simulation semantics over BCCSP. Zbl 1298.68161
Aceto, Luca; de Frutos-Escrig, David; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
1
2012
Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Zbl 1353.68192
Aceto, Luca; Fábregas, Ignacio; de Frutos Escrig, David; Ingólfsdóttir, Anna; Palomino, Miguel
1
2012
Forward analysis for Petri nets with name creation. Zbl 1233.68168
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2010
An efficient characterization of Petri net solvable binary words. Zbl 1427.68189
de Frutos Escrig, David; Koutny, Maciej; Mikulski, Łukasz
1
2018
An efficient characterization of Petri net solvable binary words. Zbl 1427.68189
de Frutos Escrig, David; Koutny, Maciej; Mikulski, Łukasz
1
2018
Branching bisimulation games. Zbl 1347.68276
de Frutos Escrig, David; Keiren, Jeroen J. A.; Willemse, Tim A. C.
2
2016
Axiomatizing weak simulation semantics over BCCSP. Zbl 1359.68183
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2014
Unifying the linear time-branching time spectrum of process semantics. Zbl 1297.68181
de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Palomino, Miguel; Hernández, David Romero
4
2013
Distances between processes: a pure algebraic approach. Zbl 1394.68219
Hernández, David Romero; de Frutos Escrig, David
1
2013
The equational theory of weak complete simulation semantics over BCCSP. Zbl 1298.68161
Aceto, Luca; de Frutos-Escrig, David; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
1
2012
Relating modal refinements, covariant-contravariant simulations and partial bisimulations. Zbl 1353.68192
Aceto, Luca; Fábregas, Ignacio; de Frutos Escrig, David; Ingólfsdóttir, Anna; Palomino, Miguel
1
2012
Decidability and complexity of Petri nets with unordered data. Zbl 1231.68172
Rosa-Velardo, Fernando; de Frutos-Escrig, David
11
2011
Accelerations for the coverability set of Petri nets with names. Zbl 1248.68357
Rosa-Velardo, Fernando; Martos-Salgado, María; De Frutos-Escrig, David
3
2011
Axiomatizing weak ready simulation semantics over BCCSP. Zbl 1351.68177
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Zbl 1260.68252
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna
2
2011
Decidability problems in Petri nets with names and replication. Zbl 1209.68341
Rosa-Velardo, Fernando; de Frutos-Escrig, David
3
2010
Forward analysis for Petri nets with name creation. Zbl 1233.68168
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2010
Ready to preorder: an algebraic and general proof. Zbl 1187.68309
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
8
2009
On the unification of process semantics: equational semantics. Zbl 1337.68180
Escrig, David de Frutos; Rodríguez, Carlos Gregorio; Palomino, Miguel
6
2009
(Bi)simulations up-to characterise process semantics. Zbl 1165.68054
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
5
2009
On the unification of process semantics: observational semantics. Zbl 1206.68220
de Frutos Escrig, David; Gregorio Rodríguez, Carlos; Palomino, Miguel
2
2009
Non-strongly stable orders also define interesting simulation relations. Zbl 1239.68051
Fábregas, Ignacio; de Frutos Escrig, David; Palomino, Miguel
2
2009
Name creation vs. replication in Petri net systems. Zbl 1154.68093
Rosa-Velardo, Fernando; de Frutos-Escrig, David
6
2008
Coinductive characterisations reveal nice relations between preorders and equivalences. Zbl 1286.68350
De Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel
3
2008
On the expressiveness of mobile synchronizing Petri nets. Zbl 1277.68205
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
4
2007
Simulations up-to and canonical preorders (extended abstract). Zbl 1278.68148
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
4
2007
New bisimulation semantics for distributed systems. Zbl 1215.68161
de Frutos-Escrig, David; Rosa-Velardo, Fernando; Gregorio-Rodríguez, Carlos
2
2007
Name creation vs. replication in Petri net systems. Zbl 1226.68065
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2007
Reflection and preservation of properties in coalgebraic (bi)simulations. Zbl 1147.68571
Fábregas, Ignacio; Palomino, Miguel; de Frutos Escrig, David
1
2007
Replicated ubiquitous nets. Zbl 1209.68342
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
2
2006
Bisimulations up-to for the linear time branching time spectrum. Zbl 1134.68457
de Frutos Escrig, David; Rodríguez, Carlos Gregorio
7
2005
Extending the Petri box calculus with time. Zbl 0986.68082
Marroquín Alonso, Olga; de Frutos Escrig, David
1
2001
Decidability of properties of timed-arc Petri nets. Zbl 0986.68077
de Frutos Escrig, David; Valero Ruiz, Valentín; Marroquín Alonso, Olga
9
2000
Bisimilarity congruences for open terms and term graphs via tile logic. Zbl 0999.68142
Bruni, Roberto; de Frutos-Escrig, David; Martí-Oliet, Narciso; Montanari, Ugo
7
2000
Global timed bisimulation: An introduction. Zbl 0954.68113
de Frutos-Escrig, David; López, Natalia; Núñez, Manuel
1
1999
A complete proof system for timed observations. Zbl 0967.68512
Ortega-Mallén, Yolanda; de Frutos-Escrig, David
1
1991
all top 5

Cited by 98 Authors

15 de Frutos-Escrig, David
14 Gregorio-Rodríguez, Carlos
9 Aceto, Luca
9 Ingólfsdóttir, Anna
9 Rosa-Velardo, Fernando
5 Palomino, Miguel
4 Fábregas, Ignacio
4 Lasota, Sławomir
3 Abdulla, Parosh Aziz
3 Bruni, Roberto
3 Fokkink, Willem Jan
3 Montanari, Ugo G.
3 van Glabbeek, Robert Jan
2 Blondin, Michael
2 Chen, Taolue
2 Fahrenberg, Uli
2 Finkel, Alain
2 Gadducci, Fabio
2 Goubault-Larrecq, Jean
2 Hofman, Piotr
2 Lazić, Ranko
2 Legay, Axel
2 Martos-Salgado, María
2 Mayr, Richard M.
2 Montali, Marco
2 Rivkin, Andrey
2 Schmitz, Sylvain
2 Totzke, Patrick
2 Valero, Valentín
1 Atig, Mohamed Faouzi
1 Ban Kirigin, Tajana
1 Beohar, Harsh
1 Best, Eike
1 Bliudze, Simon
1 Boreale, Michele
1 Boyer, Marc
1 Bueno, Antonio
1 Calvanese, Diego
1 Ciobanu, Radu
1 Corradini, Andrea
1 Courtiat, Jean-Pierre
1 Cranen, Sjoerd
1 Cuartero, Fernando
1 Davies, Jim
1 De Saqui-Sannes, Pierre
1 Della Monica, Dario
1 Delzanno, Giorgio
1 Deng, Yuxin
1 Devillers, Raymond
1 Erofeev, Evgeny
1 Ghilardi, Silvio
1 Gianola, Alessandro
1 Honsell, Furio
1 Hou, Zechen
1 Jacobsen, Lasse
1 Jacobsen, Morten
1 Kanovich, Max Iosifovich
1 Katis, Piergiulio
1 Keiren, Jeroen J. A.
1 Köhler-Bußmeier, Michael
1 Křetínský, Jan
1 Lenisa, Marina
1 Leroux, Jérôme
1 Levy, Paul Blain
1 Lime, Didier
1 Llana, Luis
1 Luttik, Bas
1 Madelaine, Eric
1 Marroquín Alonso, Olga
1 Martí-Oliet, Narciso
1 Martínez, Rafael García
1 Meseguer Guaita, José
1 Miculan, Marino
1 Møller, Mikael Harkjær
1 Nigam, Vivek
1 Perovic, Ranko
1 Piórkowski, Radosław
1 Qin, Xudong
1 Reynier, Pierre-Alain
1 Roux, Olivier H.
1 Sabadini, Nicoletta
1 Sack, Joshua
1 Sadani, Tarek
1 Sangnier, Arnaud
1 Sassone, Vladimiro
1 Scedrov, Andre
1 Schneider, Steve A.
1 Spaninks, Linda
1 Srba, Jiří
1 Talcott, Carolyn L.
1 Traonouez, Louis-Marie
1 Van Begin, Laurent
1 Walters, Robert F. C.
1 Willemse, Tim A. C.
1 Wimmel, Harro
1 Zhang, Jinjin
1 Zhang, Yan
1 Zhu, Zhaohui

Citations by Year