×

zbMATH — the first resource for mathematics

Rosa-Velardo, Fernando

Compute Distance To:
Author ID: rosa-velardo.fernando Recent zbMATH articles by "Rosa-Velardo, Fernando"
Published as: Rosa-Velardo, Fernando
External Links: ORCID
Documents Indexed: 29 Publications since 2005

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 51 times in 26 Documents Cited by Year
Decidability and complexity of Petri nets with unordered data. Zbl 1231.68172
Rosa-Velardo, Fernando; de Frutos-Escrig, David
10
2011
Name creation vs. replication in Petri net systems. Zbl 1154.68093
Rosa-Velardo, Fernando; de Frutos-Escrig, David
6
2008
On the expressiveness of mobile synchronizing Petri nets. Zbl 1277.68205
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
5
2007
Multiset rewriting for the verification of depth-bounded processes with name binding. Zbl 1277.68204
Rosa-Velardo, Fernando; Martos-Salgado, María
4
2012
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
Ordinal recursive complexity of unordered data nets. Zbl 1370.68219
Rosa-Velardo, Fernando
3
2017
Cost soundness for priced resource-constrained workflow nets. Zbl 1358.90066
Martos-Salgado, María; Rosa-Velardo, Fernando
3
2012
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
New bisimulation semantics for distributed systems. Zbl 1215.68161
de Frutos-Escrig, David; Rosa-Velardo, Fernando; Gregorio-Rodríguez, Carlos
2
2007
Replicated ubiquitous nets. Zbl 1209.68342
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
2
2006
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
Expressiveness of dynamic networks of timed Petri nets. Zbl 1407.68336
Martos-Salgado, María; Rosa-Velardo, Fernando
1
2014
Multiset rewriting: a semantic framework for concurrency with name binding. Zbl 1306.68124
Rosa-Velardo, Fernando
1
2010
Depth boundedness in multiset rewriting systems with name binding. Zbl 1287.68086
Rosa-Velardo, Fernando
1
2010
Forward analysis for Petri nets with name creation. Zbl 1233.68168
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2010
Name creation vs. replication in Petri net systems. Zbl 1226.68065
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2007
Ordinal recursive complexity of unordered data nets. Zbl 1370.68219
Rosa-Velardo, Fernando
3
2017
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando
1
2015
Expressiveness of dynamic networks of timed Petri nets. Zbl 1407.68336
Martos-Salgado, María; Rosa-Velardo, Fernando
1
2014
Multiset rewriting for the verification of depth-bounded processes with name binding. Zbl 1277.68204
Rosa-Velardo, Fernando; Martos-Salgado, María
4
2012
Cost soundness for priced resource-constrained workflow nets. Zbl 1358.90066
Martos-Salgado, María; Rosa-Velardo, Fernando
3
2012
Decidability and complexity of Petri nets with unordered data. Zbl 1231.68172
Rosa-Velardo, Fernando; de Frutos-Escrig, David
10
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
Decidability problems in Petri nets with names and replication. Zbl 1209.68341
Rosa-Velardo, Fernando; de Frutos-Escrig, David
3
2010
Multiset rewriting: a semantic framework for concurrency with name binding. Zbl 1306.68124
Rosa-Velardo, Fernando
1
2010
Depth boundedness in multiset rewriting systems with name binding. Zbl 1287.68086
Rosa-Velardo, Fernando
1
2010
Forward analysis for Petri nets with name creation. Zbl 1233.68168
Rosa-Velardo, Fernando; de Frutos-Escrig, David
1
2010
Name creation vs. replication in Petri net systems. Zbl 1154.68093
Rosa-Velardo, Fernando; de Frutos-Escrig, David
6
2008
On the expressiveness of mobile synchronizing Petri nets. Zbl 1277.68205
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
5
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
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
Replicated ubiquitous nets. Zbl 1209.68342
Rosa-Velardo, Fernando; de Frutos-Escrig, David; Marroquín-Alonso, Olga
2
2006

Citations by Year