The following pages link to Hermenegilda Macia (Q1014567):
Displaying 14 items.
- (Q300302) (redirect page) (← links)
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- (Q436358) (redirect page) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- Stochastic process reduction for performance evaluation in dtsiPBC (Q2630609) (← links)
- (Q3601873) (← links)
- Removing dead transitions in timed-arc Petri nets (Q3612723) (← links)
- (Q5155326) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464476) (← links)
