Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
E.J. Cameron, D.M. Cohen, L.A. Ness, H.N. Srinidhi, "L.0: A Language for Modeling and Prototyping Communications Software", (to appear in Proceedings of the Third International Conference on Formal Description Techniques, Madrid, November 5–8, 1990.)
A. Pnueli, "The Temporal Logic of Programs", Proceedings of the 18th Annual Symposium on Foundations of Computer Science(1977) pp. 46–57.
A. Pnueli, "The Temporal Logic of Programs", Proceedings of the 18th Annual Symposium on Foundations of Computer Science(1977) pp. 46–57.
L. Ness, "L.O: A Parallel Executable Temporal Logic Language", Bellcore Public Released TM-ARH-014974 September, 1989.
E. J. Cameron, N. H. Petschenik, L. Ruston, S. Shah, H. Srinidhi, "From Description to Simulation to Architecture: An Approach to Service-Driven System development", Proceedings of the First International Conference on Systems Integration, Morristown, N.J. April 23–26, 1990.
D. M. Cohen, T. M. Guinther, L. Ness, "Rapid Prototyping of a Communication Protocol Using a New Parallel Language", Proceedings of the First International Conference on Systems Integration, Morristown, N.J. April 23–26, 1990.
S. Aggarwal, F.S. Dworak, and P.Obenour, "An Environment for Studying Switching System Software Architecture", Proceedings of IEEE Global Telecommunications Conference, 1988.
Kurshan, R.P., "Reducibility in Analysis of Coordination", Discrete Event Systems: Models and Applications, LNCIS 103(1987), pp. 19–39.
D. Gabbay, "Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems", in A. Galton, editor, In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, 1987, pages 402–450. Springer-Verlag, LNCS Volume 398, 1989.
H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens, "MetateM: A Framework for Programming in Temporal Logic".
B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge. 1987.
D. Pilaud, N. Halbwachs, "From a synchronous declarative language to a temporal logic dealing with multiform time", Proc. Symposium on Formal Techniques in Real Time and Fault Tolerant Systems, Warwick, Sept 88.
R. Dannenberg, "Arctic: Functional Programming for Real-Time Systems", Proceedings of the Nineteenth Annual Hawaii International Conference on System Sciences, 1986.
O. Lichtenstein, A. Pnueli, L. Zuck, "The Glory of the Past", Proc. Conf. on Logics of Programs, Springer-Verlag LNCS #193, 1985, pp. 196–218.
E.J. Cameron, D.M. Cohen, B. Gopinath, L. Ness, W.M. Keese, P. Uppaluru, J.R. Vollaro, "The IC* Model of Parallel Computation and Programming Environment," IEEE Transactions on Software Engineering, Vol. 14, No 3, March 1988, pp. 317–327.
E.J. Cameron, D.M. Cohen, B. Gopinath, L. Ness, "IC*: An Environment for Designing Communications Software", Proceedings of SETSS '90 7th Int'l Conference on Software Engineering for Telecommunication Switch Systems, Bournemouth, England, July 3–6, 1989.
E.J. Cameron, L. Ness, A. Sheth, "A Universal Executor for Flexible Transactions Which Permits Maximal Parallelism".
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ness, L. (1991). Issues arising in the analysis of L.0. In: Clarke, E.M., Kurshan, R.P. (eds) Computer-Aided Verification. CAV 1990. Lecture Notes in Computer Science, vol 531. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023724
Download citation
DOI: https://doi.org/10.1007/BFb0023724
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54477-7
Online ISBN: 978-3-540-38394-9
eBook Packages: Springer Book Archive