Author:
Mohalik Swarup,Ramanujam R.
Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Apt K R, Francez N, de Roever W P 1980 A proof system for communicating sequential processes.ACM Trans. Program. Lang. Syst. 2: 359–385
2. Alur R, Henzinger T 1995 Local liveness for compositional modelling of fair reactive systems.Lecture notes in Computer Science 939 (Berlin: Springer Verlag) pp 166–179
3. Abadi M, Lamport L 1993 Composing specifications.ACM Trans. Program. Lang. Syst. 15: 73–132
4. Abadi M, Lamport L 1995 Conjoining specifications.ACM Trans. Program. Lang. Syst. 17: 507–534
5. Abadi M, Alpern B, Apt K R, Francez N, Katz S, Lamport L, Schneider F B 1991 Preserving liveness: comments on “Safety and liveness from a methodological point of view”.Inf. Process. Lett. 40: 141–142
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Distributed Autonomous and Asynchronous Automata (DA3);Studies in Computational Intelligence;2019-03-17
2. Kleene Theorems for Synchronous Products with Matching;Transactions on Petri Nets and Other Models of Concurrency X;2015
3. Kleene Theorems for Product Systems;Descriptional Complexity of Formal Systems;2011