Author of the publication

Composability of Infinite-State Activity Automata.

, , and . ISAAC, volume 3341 of Lecture Notes in Computer Science, page 377-388. Springer, (2004)

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

Letter from the Special Issue Editor.. IEEE Data Eng. Bull., 31 (3): 2 (2008)Analyzing Conversations of Web Services., , and . IEEE Internet Comput., 10 (1): 18-25 (2006)Realizability of Conversation Protocols with Message Contents., , and . Int. J. Web Serv. Res., 2 (4): 68-93 (2005)Dynamic Constraints and Object Migration.. Theor. Comput. Sci., 184 (1-2): 195-236 (1997)Augmenting the discrete timed automaton with other data structures., and . Theor. Comput. Sci., 289 (1): 191-204 (2002)On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity., and . DBPL, page 396-410. Morgan Kaufmann, (1989)jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS., , , , and . AP-BPM, volume 219 of Lecture Notes in Business Information Processing, page 43-56. Springer, (2015)Predicting Disease Progress with Imprecise Lab Test Results., , and . CoRR, (2021)Counter Machines: Decision Problems and Applications., and . Jewels are Forever, page 84-96. Springer, (1999)2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award., , and . PODS, page 47. ACM, (2019)