Author of the publication

A barred operational semantics for a subset of WS-CDL with time restrictions.

, , , and . J. Log. Algebraic Methods Program., 78 (8): 730-748 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets., , , and . Softw. Syst. Model., 18 (5): 2973-3003 (2019)Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets., , , , and . Softw. Syst. Model., 20 (2): 505-538 (2021)WST: a tool supporting timed composite Web Services Model transformation., , , , and . Simul., 88 (3): 349-364 (2012)Contractually Compliant Service Compositions., , and . ICSOC, volume 7084 of Lecture Notes in Computer Science, page 636-644. Springer, (2011)A Framework for Modeling Cloud Infrastructures and User Interactions., , , , and . IEEE Access, (2019)Studying the Impact of the User Subscription Times in Different Cloud Configurations., , , , , and . SEKE, page 211-216. KSI Research Inc., (2021)Time Ordering Architecture in SCA., , , , and . TAMoCo, volume 201 of Frontiers in Artificial Intelligence and Applications, page 117-126. IOS Press, (2009)Formal Passive Testing of Service-Oriented Systems., , and . IEEE SCC, page 610-613. IEEE Computer Society, (2010)Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets., , , and . IEEE Access, (2018)Profiling SLAs for cloud system infrastructures and user interactions., , , , and . PeerJ Comput. Sci., (2021)