Object-oriented specification of reactive systems

Publisher Website

4 December 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/icse.1990.63604

Abstract

No abstract available

This publication has 22 references indexed in Scilit:

Introduction to the ISO specification language LOTOS
Published by Elsevier ,2003
Linda in context
Communications of the ACM, 1989
On the design of reactive systems
BIT Numerical Mathematics, 1988
Common Lisp Object System specification
ACM SIGPLAN Notices, 1988
Object-oriented programming: an objective sense of style
Published by Association for Computing Machinery (ACM) ,1988
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
Lecture Notes in Computer Science, 1986
Protocol Verification via Projections
IEEE Transactions on Software Engineering, 1984
How to cook a temporal proof system for your pet language
Published by Association for Computing Machinery (ACM) ,1983
Termination detection for diffusing computations
Information Processing Letters, 1980
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering, 1977