The following pages link to Valentín Valero (Q300303):
Displaying 20 items.
- Performance analysis of concurrent systems in algebra dtsiPBC (Q300304) (← links)
- (Q436357) (redirect page) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- (Q1607109) (redirect page) (← links)
- A process algebra for probabilistic and nondeterministic processes (Q1607111) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← 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)
- (Q3045274) (← links)
- (Q3601873) (← links)
- Removing dead transitions in timed-arc Petri nets (Q3612723) (← links)
- Timed processes of Timed Petri Nets (Q5096376) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464476) (← links)
- (Q5754515) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
