L.0: a parallel executable temporal logic language
Author: 
Linda NessAuthors Info & Claims
Linda NessAuthors Info & ClaimsPages 80 - 89
References
[1]
H. Barringcr, R. Kuiper,A. Pnueli, "Now you may compose temporal logic specifications", Proceedings of the Sixteenth Annual ACM Symposium of Theory of Computing, April, 1984, pp.51-63.
[2]
D. M. Cohen, E. J. Isganitis, "Automatic Generation of a Prototype of a New Protocol From its Specification," Proceedings of IEEE Global Telecommunications Conference, I Iouston, Texas, Dec 1-4, 1986.
[3]
D. M. Cohen, T. M. Guinther, "The IC System for Protocol Development", Proceedings of A CM SIGCOMM Workshop on Frontiers in Computer Communications Technology, Stowe Vermont, August 1987.
[4]
S. Aggarwal, F.S. Dworak, and P.Obenour, "An Environment for Studying Switching System Software Architecture", Proceedings of IEEE Global Telecommunications Conference, 1988.
[5]
A.L.P. Chen, E.J. Cameron, G. Shuttleworth, E.C. Anderson, "A Simulation Approach for Network Operations Performance Studies", Proceedings of the Twelfth Annual Internation Computer Sofmare and Applications conference, Chicago, Illinois, October 1988.
[6]
D. M. Cohen, T. M. Guinthcr, L. Ness, "Rapid Prototyping of a Communication Protocol Using a New Parallel Language", to appear in First International Confcrcncc on Systems Integration, April 23-26, 1990, Morristown, N.J.
[7]
E. J. Cameron, N. H. Pctschcnik, L. Ruston, S. Shah, H. Srinidhi, "From Description to Simulation to Architecture: An approach to Service-Driven System development", to appear in First International Conference on Systems Integration, April 23-26, 1990, Morristown, N.J.
[8]
A. Pnueli, "The Temporal Logic of Programs", Proceedings of the ISth Annual Symposium on Foundations of Computer Science( 1977) pp. 46-57.
[9]
A. Pnueli, "Applications of Temporal Logic to the Specification and Verification of Concurrent Systems: A Survey of Concurrent Trends", Current Trends in Concurrency, Springer-Verlag LNCS #224, pp. 5 10-584, 1986.
[10]
B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge. 1987.
[11]
J. Halpem, Z. Manna, B. Moszkowski, "A Hardware Semantics Based on Temporal Intervals, Proceedings of the 10th International Colloquium on Automata and Programming Languages", #754, 1983, pp. 278-291.
[12]
E. M. Clarke, E. A. Emerson, A. P. Sistla, "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic", ACM Transactions on Programming Languages and Systems, Vol. *, No. 2, April 1986, pp. 244- 263.
[13]
H. Barringer, R. Kuiper, "Hierarchical Devclopmcnt of Concurrent Systems in a Temporal Logic Framework," Seminar on Concurrency (S. Brooks and G. Winskel, eds) July 1984, LNCS 197, 389-448, Springer Verlag 1985, pp 35-62.
[14]
J. Davies, S. Schneider, "An Introduction to Timed CSP", Technical Monograph PRG-75, Oxford IJniversity Computer Laboratory.
[15]
G.E. Hughes, M.J. Creswell, An Introduction to Modal Logic, London: Methuen, 1977.
[16]
O. Lichtenstcin, A. Pnueli, L. Zuck, "The Glory of the Past", Proc. Conf: on Logics of Programs, Springer-Verlag LNCS #193, pp. 196-218, 1985.
[17]
E.J.Cameron, D.M.Cohcn, B.Gopinath, L.Ness, W.M.Keesc, P.Uppaluru, J.R.Vollaro, "The IC* Model of Parallel Computation and Programming Environment.," IEEE Transactions on Sofmare Engineering, Vol. 14, No 3, pages 317-327, March 1988.
[18]
E.J. Cameron, D.M. Cohen, B. Gopinath, L. Ness, "IC*: An Fnvironmcnt for DcsiLming Communications Software", Proceedings of SETSS '90 7th Int'l Conference on Software Engineering for Tekecommunicalion Switch Systems, Bourncmouth, England, July 3-6, 1989.
[19]
McCarthy, J. and IIayes, P. J,"Some philosophical problems from the standpoint of artificial intelligence", In D. Michie and B. Meltzer (Eds.), Machine Intelligence 4 (1969), Edinburgh University Press, Edinburgh, pp. 463- 502.
[20]
P. Wolpcr, "Temporal Logic Can be More Expressive", Proc. 22nds IEEE Symposium on Foundations of Computer Science, Nashville, 1981, pp. 340-348.
[21]
R. Dannenberg, "Arctic: Functional Programming for Real-Time Systems", Proceedings of the Nineteenth Annual If awaii International Conference on System Sciences, 1986.
[22]
Cameron E. J. and D. M. Cohen, "The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control", Proceedings of the ACM Workshop on Parallel and Distributed Debugging, Madison Wisconsin, May 5-6, 1988.
[23]
K. M. Chandy, J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, New York, 1988.
Index Terms
- L.0: a parallel executable temporal logic language
Recommendations
Reversibility of Executable Interval Temporal Logic Specifications
Reversible ComputationAbstractIn this paper the reversibility of executable Interval Temporal Logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which are represented as non-empty sequences of states. It allows for the ...
L.0: a parallel executable temporal logic language
Conference proceedings on Formal methods in software developmentExecutable logic specifications for protocol service interfaces
A general, formal modeling technique for protocol service interfaces is discussed. An executable description of the model using a logic-programming-based language, Prolog, is presented. The specification of protocol layers consists of two parts, the ...
Comments
Information & Contributors
Information
Published In
Copyright © 1990 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 1990
Published in SIGSOFT Volume 15, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations6Total Citations
- 391Total Downloads
- Downloads (Last 12 months)49
- Downloads (Last 6 weeks)13
Reflects downloads up to 12 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in