1989 · 11 citations · 4 references
ComputingComputer ScienceComputer SystemsDecision Support SystemsFault ToleranceFault-tolerant ComputingAlert TriageAlerting SystemsAlerting MechanismsReactive Systems
article Free Access Share on Toward reliable reactive systems Authors: L.-M. Gilham Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA Kestrel Institute, 1801 Page Mill Road, Palo Alto, CAView Profile , A. Goldberg Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA Kestrel Institute, 1801 Page Mill Road, Palo Alto, CAView Profile , T. C. Wang Kestrel Institute, 1801 Page Mill Road, Palo Alto, CA Kestrel Institute, 1801 Page Mill Road, Palo Alto, CAView Profile Authors Info & Claims ACM SIGSOFT Software Engineering NotesVolume 14Issue 3May 1989pp 68–74https://doi.org/10.1145/75200.75211Published:01 April 1989Publication History 30citation182DownloadsMetricsTotal Citations30Total Downloads182Last 12 Months15Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
4
Statecharts: a visual formalism for complex systems
David Harel · Science of Computer Programming · 1987 · 6.7K citations
On the Formal Semantics of Statecharts (Extended Abstract)
David Harel, Amir Pnueli, Jeanette P. Schmidt et al. · Logic in Computer Science · 1987 · 206 citations
Tiecheng Wang, W. W. Bledsoe · Journal of Automated Reasoning · 1987 · 41 citations