Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL

Farn Wang, Aloysius K. Mok, E. Allen Emerson

Abstract

Article Free Access Share on Formal specification of asynchronous distributed real-time systems by APTL Authors: Farn Wang View Profile , Al Mok View Profile , E. Allen Emerson View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 188–198https://doi.org/10.1145/143062.143113Published:01 June 1992Publication History 4citation137DownloadsMetricsTotal Citations4Total Downloads137Last 12 Months5Last 6 weeks0 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

BibTeX

@inproceedings{Wang-al:ICSE92,
  author    = {Farn Wang and
               Aloysius K. Mok and
               E. Allen Emerson},
  title     = {Formal Specification of Ssynchronous Distributed {Real-Time} Systems by {APTL}},
  booktitle = {ICSE},
  pages     = {188--198},
  publisher = {{ACM}},
  year      = {1992},
}

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL

Abstract

Related papers