Timed CSP: Theory and practice

Timed CSP: Theory and practice

Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, an...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: Buchkapitel
Sprache:eng
Schlagworte:
Concurrency
Control Software
Real-Time CSP
Robotics
Specification and Verification
Telephone Switching
Temporal Logic
Timewise Refinement
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 675
container_issue
container_start_page 640
container_title
container_volume
description Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, and it has been employed in several realistic case studies. This paper presents an overview of the Oxford work on Timed CSP.
doi_str_mv 10.1007/BFb0032011
format Book Chapter
fullrecord <record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_BFb0032011</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>springer_books_10_1007_BFb0032011</sourcerecordid><originalsourceid>FETCH-LOGICAL-s188t-fd14bb9f620f507a15edc12ee040cbd535dbeeb8334c042fda1d8467dbb715ae3</originalsourceid><addsrcrecordid>eNpFj0tLw0AURq8vMK3d-AMkSzej984jM3Fng61CQcG4DjOZG42PpmS68d9rUejqLD44fAfgnPCKEO31fBEQlUSiA5iV1imjUVtJrjiEjAoioZQuj2CyG4wxhaZjyFChFKXV6hQmKb0jorSlzOCi7r845tXz001ev_Ewfud-HfPN6Ntt3_IZnHT-M_Hsn1N4WdzV1b1YPS4fqtuVSOTcVnSRdAhlV0jsDFpPhmNLkhk1tiEaZWJgDu73WYtadtFTdLqwMQRLxrOawuWfN23Gfv3KYxOG4SM1hM0uutlHqx-TS0MA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>Timed CSP: Theory and practice</title><source>Springer Books</source><contributor>Huizing, C. ; de Roever, W. P. ; Rozenberg, G. ; de Bakker, J. W.</contributor><creatorcontrib>Huizing, C. ; de Roever, W. P. ; Rozenberg, G. ; de Bakker, J. W.</creatorcontrib><description>Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, and it has been employed in several realistic case studies. This paper presents an overview of the Oxford work on Timed CSP.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540555641</identifier><identifier>ISBN: 9783540555643</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 9783540472186</identifier><identifier>EISBN: 3540472185</identifier><identifier>DOI: 10.1007/BFb0032011</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Concurrency ; Control Software ; Real-Time CSP ; Robotics ; Specification and Verification ; Telephone Switching ; Temporal Logic ; Timewise Refinement</subject><ispartof>Real-Time: Theory in Practice, 1992, p.640-675</ispartof><rights>Springer-Verlag Berlin Heidelberg 1992</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0032011$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0032011$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>775,776,780,789,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Huizing, C.</contributor><contributor>de Roever, W. P.</contributor><contributor>Rozenberg, G.</contributor><contributor>de Bakker, J. W.</contributor><title>Timed CSP: Theory and practice</title><title>Real-Time: Theory in Practice</title><description>Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, and it has been employed in several realistic case studies. This paper presents an overview of the Oxford work on Timed CSP.</description><subject>Concurrency</subject><subject>Control Software</subject><subject>Real-Time CSP</subject><subject>Robotics</subject><subject>Specification and Verification</subject><subject>Telephone Switching</subject><subject>Temporal Logic</subject><subject>Timewise Refinement</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540555641</isbn><isbn>9783540555643</isbn><isbn>9783540472186</isbn><isbn>3540472185</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>1992</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNpFj0tLw0AURq8vMK3d-AMkSzej984jM3Fng61CQcG4DjOZG42PpmS68d9rUejqLD44fAfgnPCKEO31fBEQlUSiA5iV1imjUVtJrjiEjAoioZQuj2CyG4wxhaZjyFChFKXV6hQmKb0jorSlzOCi7r845tXz001ev_Ewfud-HfPN6Ntt3_IZnHT-M_Hsn1N4WdzV1b1YPS4fqtuVSOTcVnSRdAhlV0jsDFpPhmNLkhk1tiEaZWJgDu73WYtadtFTdLqwMQRLxrOawuWfN23Gfv3KYxOG4SM1hM0uutlHqx-TS0MA</recordid><startdate>19920101</startdate><enddate>19920101</enddate><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>19920101</creationdate><title>Timed CSP: Theory and practice</title></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-s188t-fd14bb9f620f507a15edc12ee040cbd535dbeeb8334c042fda1d8467dbb715ae3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>1992</creationdate><topic>Concurrency</topic><topic>Control Software</topic><topic>Real-Time CSP</topic><topic>Robotics</topic><topic>Specification and Verification</topic><topic>Telephone Switching</topic><topic>Temporal Logic</topic><topic>Timewise Refinement</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Huizing, C.</au><au>de Roever, W. P.</au><au>Rozenberg, G.</au><au>de Bakker, J. W.</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Timed CSP: Theory and practice</atitle><btitle>Real-Time: Theory in Practice</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1992-01-01</date><risdate>1992</risdate><spage>640</spage><epage>675</epage><pages>640-675</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540555641</isbn><isbn>9783540555643</isbn><eisbn>9783540472186</eisbn><eisbn>3540472185</eisbn><abstract>Over the past five years, G. M. Reed and A. W. Roscoe have directed a large group of research staff and graduate students at Oxford University in a comprehensive study of their theory of Timed CSP. This theory has now matured with associated proof systems, temporal logics, and refinement methods, and it has been employed in several realistic case studies. This paper presents an overview of the Oxford work on Timed CSP.</abstract><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0032011</doi><tpages>36</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Real-Time: Theory in Practice, 1992, p.640-675
issn 0302-9743
1611-3349
language eng
recordid cdi_springer_books_10_1007_BFb0032011
source Springer Books
subjects Concurrency
Control Software
Real-Time CSP
Robotics
Specification and Verification
Telephone Switching
Temporal Logic
Timewise Refinement
title Timed CSP: Theory and practice
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-16T03%3A02%3A23IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Timed%20CSP:%20Theory%20and%20practice&rft.btitle=Real-Time:%20Theory%20in%20Practice&rft.au=Huizing,%20C.&rft.date=1992-01-01&rft.spage=640&rft.epage=675&rft.pages=640-675&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540555641&rft.isbn_list=9783540555643&rft_id=info:doi/10.1007/BFb0032011&rft_dat=%3Cspringer%3Espringer_books_10_1007_BFb0032011%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540472186&rft.eisbn_list=3540472185&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true