×

Macià, Hermenegilda

Author ID: macia.hermenegilda Recent zbMATH articles by "Macià, Hermenegilda"
Published as: Macià, Hermenegilda; Macia, Hermenegilda; Maciá, Hermenegilda; Maciá, H.; Macià, H.
External Links: ORCID
Documents Indexed: 12 Publications since 2004
Co-Authors: 10 Co-Authors with 12 Joint Publications
39 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 24 times in 10 Documents Cited by Year
Introducing the iteration in sPBC. Zbl 1110.68420
Maciá, Hermenegilda; Valero, Valentín; Cazorla, Diego; Cuartero, Fernando
5
2004
sPBC: a Markovian extension of Petri box calculus with immediate multiactions. Zbl 1154.68092
Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen
4
2008
A Petri net approach for the design and analysis of web services choreographies. Zbl 1188.68205
Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda
3
2009
A congruence relation for sPBC. Zbl 1138.68040
Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David
3
2008
Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033
Tarasyuk, I.; Macià, H.; Valero, Valentin
3
2014
Stochastic process reduction for performance evaluation in dtsiPBC. Zbl 1346.60118
Tarasyuk, I. V.; Maciá, H.; Valero, Valentin
3
2015
A bounded true concurrency process algebra for performance evaluation. Zbl 1111.68545
Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda
1
2004
Removing dead transitions in timed-arc Petri nets. Zbl 1156.93361
Valero, Valentín; Macià, Hermenegilda
1
2009
A barred operational semantics for a subset of WS-CDL with time restrictions. Zbl 1183.68077
Valero, Valentín; Díaz, Gregorio; Cambronero, María Emilia; Macià, Hermenegilda
1
2009
Stochastic process reduction for performance evaluation in dtsiPBC. Zbl 1346.60118
Tarasyuk, I. V.; Maciá, H.; Valero, Valentin
3
2015
Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033
Tarasyuk, I.; Macià, H.; Valero, Valentin
3
2014
A Petri net approach for the design and analysis of web services choreographies. Zbl 1188.68205
Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda
3
2009
Removing dead transitions in timed-arc Petri nets. Zbl 1156.93361
Valero, Valentín; Macià, Hermenegilda
1
2009
A barred operational semantics for a subset of WS-CDL with time restrictions. Zbl 1183.68077
Valero, Valentín; Díaz, Gregorio; Cambronero, María Emilia; Macià, Hermenegilda
1
2009
sPBC: a Markovian extension of Petri box calculus with immediate multiactions. Zbl 1154.68092
Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen
4
2008
A congruence relation for sPBC. Zbl 1138.68040
Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David
3
2008
Introducing the iteration in sPBC. Zbl 1110.68420
Maciá, Hermenegilda; Valero, Valentín; Cazorla, Diego; Cuartero, Fernando
5
2004
A bounded true concurrency process algebra for performance evaluation. Zbl 1111.68545
Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda
1
2004

Citations by Year