Causal Closure for MSC Languages
暂无分享,去创建一个
Madhavan Mukund | K. Narayan Kumar | Bharat Adsul | Vasumathi Narayanan | Madhavan Mukund | B. Adsul | K. Kumar | Vasumathi K. Narayanan
[1] Kousha Etessami,et al. A Hierarchy of Polynomial-Time Computable Simulations for Automata , 2002, CONCUR.
[2] Madhavan Mukund,et al. A theory of regular MSC languages , 2005, Inf. Comput..
[3] Sjouke Mauw,et al. Message Sequence Chart (MSC) , 1996 .
[4] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[5] Anca Muscholl,et al. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms , 2004, Developments in Language Theory.
[6] Claude Jard,et al. Modeling and Verification of Parallel Processes , 2001, Lecture Notes in Computer Science.
[7] Rajeev Alur,et al. Inference of Message Sequence Charts , 2003, IEEE Trans. Software Eng..
[8] Loïc Hélouët,et al. HMSCs as Partial Specifications ... with PNs as Completions , 2000, MOVEP.
[9] Rajeev Alur,et al. Realizability and verification of MSC graphs , 2005, Theor. Comput. Sci..
[10] Anca Muscholl,et al. Infinite-state high-level MSCs: Model-checking and realizability , 2002, J. Comput. Syst. Sci..
[11] Markus Lohrey. Safe Realizability of High-Level Message Sequence Charts , 2002, CONCUR.
[12] C. A. Petri,et al. Concurrency Theory , 1986, Advances in Petri Nets.
[13] Madhavan Mukund,et al. Bounded time-stamping in message-passing systems , 2003, Theor. Comput. Sci..
[14] Michel A. Reniers,et al. High-level message sequence charts , 1997, SDL Forum.
[15] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[16] Grzegorz Rozenberg,et al. Developments in Language Theory II , 2002 .
[17] Leszek Pacholski,et al. Mathematical Foundations of Computer Science 1999 , 1999, Lecture Notes in Computer Science.
[18] Rajeev Alur,et al. Model Checking of Message Sequence Charts , 1999, CONCUR.
[19] Ekkart Rudolph,et al. Tutorial on Message Sequence Charts , 1996, Comput. Networks ISDN Syst..
[20] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[21] Anca Muscholl,et al. Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces , 1999, MFCS.