Hermenegilda Macià

Available identifiers

Publication	Date of Publication	Type
New proposals to improve a MAC layer protocol in wireless sensor networks	2021-10-06	Paper
Stochastic process reduction for performance evaluation in dtsiPBC	2016-07-28	Paper
Performance analysis of concurrent systems in algebra dtsiPBC	2016-06-27	Paper
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets	2012-07-20	Paper
A barred operational semantics for a subset of WS-CDL with time restrictions	2009-11-04	Paper
A Petri net approach for the design and analysis of web services choreographies	2009-07-20	Paper
Improving performance in flexible manufacturing systems	2009-04-29	Paper
Removing dead transitions in timed-arc Petri nets	2009-03-10	Paper
sPBC: a Markovian extension of Petri box calculus with immediate multiactions	2009-02-12	Paper
A congruence relation for sPBC	2008-04-11	Paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce	2006-10-24	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper

This page was built for person: Hermenegilda Macià