Communicating real-time state machines:
Abstract: "Communicating real-time state machines (CRSMs) are a new, complete, and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment. They are essentially state machines that communicate synchronously in a manner much lik...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Seattle, Wash.
1991
|
| Series: | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report
91,8,9 |
| Subjects: | |
| Summary: | Abstract: "Communicating real-time state machines (CRSMs) are a new, complete, and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The paper defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues." |
| Physical Description: | 29 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009015559 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)26945360 | ||
| 035 | |a (DE-599)BVBBV009015559 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Shaw, Alan C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Communicating real-time state machines |c Alan c. Shaw |
| 264 | 1 | |a Seattle, Wash. |c 1991 | |
| 300 | |a 29 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |v 91,8,9 | |
| 520 | 3 | |a Abstract: "Communicating real-time state machines (CRSMs) are a new, complete, and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The paper defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues." | |
| 650 | 4 | |a Real-time data processing | |
| 810 | 2 | |a Department of Computer Science: Technical report |t University of Washington <Seattle, Wash.> |v 91,8,9 |w (DE-604)BV008930431 |9 91,8,9 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005961134 | ||
Record in the Search Index
| _version_ | 1804123364856430592 |
|---|---|
| any_adam_object | |
| author | Shaw, Alan C. |
| author_facet | Shaw, Alan C. |
| author_role | aut |
| author_sort | Shaw, Alan C. |
| author_variant | a c s ac acs |
| building | Verbundindex |
| bvnumber | BV009015559 |
| ctrlnum | (OCoLC)26945360 (DE-599)BVBBV009015559 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01670nam a2200289 cb4500</leader><controlfield tag="001">BV009015559</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26945360</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009015559</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shaw, Alan C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating real-time state machines</subfield><subfield code="c">Alan c. Shaw</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Seattle, Wash.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">29 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report</subfield><subfield code="v">91,8,9</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Communicating real-time state machines (CRSMs) are a new, complete, and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The paper defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Technical report</subfield><subfield code="t">University of Washington <Seattle, Wash.></subfield><subfield code="v">91,8,9</subfield><subfield code="w">(DE-604)BV008930431</subfield><subfield code="9">91,8,9</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005961134</subfield></datafield></record></collection> |
| id | DE-604.BV009015559 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005961134 |
| oclc_num | 26945360 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 29 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series2 | University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report |
| spelling | Shaw, Alan C. Verfasser aut Communicating real-time state machines Alan c. Shaw Seattle, Wash. 1991 29 S. txt rdacontent n rdamedia nc rdacarrier University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report 91,8,9 Abstract: "Communicating real-time state machines (CRSMs) are a new, complete, and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The paper defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues." Real-time data processing Department of Computer Science: Technical report University of Washington <Seattle, Wash.> 91,8,9 (DE-604)BV008930431 91,8,9 |
| spellingShingle | Shaw, Alan C. Communicating real-time state machines Real-time data processing |
| title | Communicating real-time state machines |
| title_auth | Communicating real-time state machines |
| title_exact_search | Communicating real-time state machines |
| title_full | Communicating real-time state machines Alan c. Shaw |
| title_fullStr | Communicating real-time state machines Alan c. Shaw |
| title_full_unstemmed | Communicating real-time state machines Alan c. Shaw |
| title_short | Communicating real-time state machines |
| title_sort | communicating real time state machines |
| topic | Real-time data processing |
| topic_facet | Real-time data processing |
| volume_link | (DE-604)BV008930431 |
| work_keys_str_mv | AT shawalanc communicatingrealtimestatemachines |