dblp.uni-trier.dewww.uni-trier.de

Hermenegilda Macià

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEHermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig: A congruence relation for sPBC. Formal Methods in System Design 32(2): 85-128 (2008)
5EEHermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz: sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Inform. 87(3-4): 367-406 (2008)
2004
4EEHermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero: Introducing the Iteration in sPBC. FORTE 2004: 292-309
3EEM. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià: A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops 2004: 143-155
2EEFernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo: Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM 2004: 49-56
2003
1EEHermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-

Coauthor Index

1Diego Cazorla [3] [4]
2Fernando Cuartero [1] [2] [3] [4] [5] [6]
3David de Frutos-Escrig [6]
4Juan José Pardo [3]
5Fernando L. Pelayo [1] [2]
6Maria L. Pelayo [2]
7M. Carmen Ruiz [3] [5]
8Valentín Valero Ruiz (Valentin Valero) [1] [2] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)