Author of the publication

Distributed Markov Chains.

, , , , and . VMCAI, volume 8931 of Lecture Notes in Computer Science, page 117-134. Springer, (2015)

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

Models and Logics for True Concurrency, , , and . IMSc/90/12. The Institute of Mathematical Sciences, Madras, INDIA, (1990)Generalized Handle Grammars and Their Relation to Petri Nets., , , and . Elektronische Informationsverarbeitung und Kybernetik, 20 (4): 179-206 (1984)A Petri Net Model of Asynchronously Communicating Sequential Processes., and . A Perspective in Theoretical Computer Science, volume 16 of World Scientific Series in Computer Science, World Scientific, (1989)Statistical Model Checking-Based Analysis of Biological Networks., , and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)Distributed Markov Chains., , , and . CoRR, (2014)Some Behavioural Aspects of Net Theory.. ICALP, volume 317 of Lecture Notes in Computer Science, page 630-653. Springer, (1988)Bipolar Synchronization Systems., and . ICALP, volume 85 of Lecture Notes in Computer Science, page 257-272. Springer, (1980)A Trace Semantics for Petri Nets (Extended Abstract)., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 595-604. Springer, (1992)A lattice theoretic view of K-density., and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 139-153. Springer, (1984)Regular Collections of Message Sequence Charts., , , and . MFCS, volume 1893 of Lecture Notes in Computer Science, page 405-414. Springer, (2000)