Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Most existing specification languages for runtime verification describe the properties of the entire system in a top-down manner, and lack constructs to describe concurrency in the specification di ...
['Yoriyuki Yamagata', 'Cyrille Artho', 'Masami Hagiya', 'Jun Inoue', 'Lei Ma', 'Yoshinori Tanabe', 'Mitsuharu Yamamoto']
I am writing a research paper on a idea Runtime Monitoring for Concurrent Systems
[{"from": "human", "value": "I am writing a research paper on a idea Runtime Monitoring for Concurrent Systems"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Most existing specification languages for runtime verification describe the properties of the entire system in a top-down manner, and lack constructs to describe concurrency in the specification di ..."}]