Graphical specifications for concurrent software systems

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. A. Aaby and K. T. Narayana. Synthesis of hardware elements from propositional temporal interval logic. In P. B. Ladkin and F. H. Vogt, eds., Proc. Berkeley Workshop Temporal and Real- Time Specification, pp. 1-31, Inter. Computer Science Institute, Aug. 1990.
	2	Howard Barringer , Ruurd Kuiper , Amir Pnueli, Now you may compose temporal logic specifications, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.51-63, December 1984 [doi>10.1145/800057.808665]
	3	J. R. Buchi and D. Siefkes. The monadic second order theory of all countable ordinals. In G. H. Muller and D. Siefkes, eds., Decidable Theories II. Springer-Verlag, 1973. LNM 328.
	4	Victor Jon Griswold, Core algorithms for autonomous monitoring of distributed systems, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.36-45, May 20-21, 1991, Santa Cruz, California, United States
	5	Joseph Y. Halpern , Yoav Shoham, A propositional modal logic of time intervals, Journal of the ACM (JACM), v.38 n.4, p.935-962, Oct. 1991 [doi>10.1145/115234.115351]
	6	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	7	David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
	8	G. E. Hughes and M. J. Creswell. An Introduction to Modal Logic. Methuen and Co. Ltd., London, 1968.
	9	G. Kutty, Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, and P. M. Melliar-Smith. Specification of a communication protocol in graphical interval logic. In Proc. IEE Inter. Conf. Information Engineering, pp. 432-441, Singapore, Dec. 1991.
	10	L. Lamport. A temporal logic of actions. Technical Report 57, DEC Systems Research Center, Palo Alto, CA, Apr. 1990.
	11	P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
	12	Z. Manna and A. Pnueli. Verification of concurrent programs: The temporal framework. In R. S. Boyer and J. S. Moore, eds., The Correctness Problem in Computer Science, pp. 215-273. Academic Press, London, 1982.
	13	Z. Manna and A. Pnueli. Verification of concurrent programs: A temporal proof system. In J. W. De Bakker and J. Van Leuwen, eds., Foundations of Computer Science, Distributed Systems: Part 2', pp. 163-255. Mathematical Center Tracts 159, Center for Mathematics and Computer Science, Amsterdam, 1983.
	14	Zohar Manna , Amir Pnueli, Specification and Verification of Concurrent Programs by forall-Automata, Temporal Logic in Specification, p.124-164, April 08-10, 1987
	15	P. M. Melliar-Smith, A graphical representation of interval logic, International Conference on Concurrency on Concurrency 88, p.106-120, October 1988, Hamburg, Germany
	16	P. M. Melliar-Smith, Extending Interval Logic to Real Time Systems, Temporal Logic in Specification, p.224-242, April 08-10, 1987
	17	K. T. Narayana and A. A. Aaby. Specification of real-time systems in real-time temporal interval logic. In Proc. 1988 IEEE Real-Time Systems Symp., pp. 86-95, Dec. 1988.
	18	A. Pnueli. The temporal logic of programs. In Proc. 18th Symp. Foundations of Computer Science, pp. 46-57, Providence, RI, Nov. 1977.
	19	Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith, and G. Kutty. An automata-theoretic decision procedure for future interval logic. In preparation.
	20	R. Razouk , M. Gorlick, Real-time interval logic for reasoning about executions of real-time programs, ACM SIGSOFT Software Engineering Notes, v.14 n.8, p.10-19, Dec. 1989
	21	Richard L. Schwartz , P. M. Melliar-Smith , Friedrich H. Vogt, An interval logic for higher-level temporal reasoning, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.173-186, August 17-19, 1983, Montreal, Quebec, Canada [doi>10.1145/800221.806720]
	22	F. H. Vogt and S. Leue. The paradigm of realtime specification based on interval logic. In P. B. Ladkin and F. H. Vogt, eds., Proc. Berkeley Workshop Temporal and Real-Time Specification, pp. 153-178, Inter. Computer Science Institute, Aug. 1990.
	23	Pierre Wolper, On the Relation of Programs and Computations to Models of Temporal Logic, Temporal Logic in Specification, p.75-123, April 08-10, 1987

Collaborative Colleagues:

L. K. Dillon: colleagues

G. Kutty: colleagues

L. E. Moser: colleagues

P. M. Melliar-Smith: colleagues

Y. S. Ramakrishna: colleagues