skip to content
Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 Preview this item
ClosePreview this item
Checking...

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

Author: S D Brookes; A W Roscoe; G Winskel
Publisher: Berlin ; New York : Springer-Verlag, ©1985.
Series: Lecture notes in computer science, 197.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Seminar on Concurrency (1984 : Carnegie-Mellon University).
Seminar on Concurrency.
Berlin ; New York : Springer-Verlag, ©1985
(OCoLC)567935699
Online version:
Seminar on Concurrency (1984 : Carnegie-Mellon University).
Seminar on Concurrency.
Berlin ; New York : Springer-Verlag, ©1985
(OCoLC)609149700
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: S D Brookes; A W Roscoe; G Winskel
ISBN: 0387156704 9780387156705 3540156704 9783540156703
OCLC Number: 12345206
Description: x, 523 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: On the axiomatic treatment of concurrency.- Hierarchical development of concurrent systems in a temporal logic framework.- On the composition and decomposition of assertions.- Process algebra with asynchronous communication mechanisms.- Axioms for memory access in asynchronous hardware systems.- Executing temporal logic programs.- The static derivation of concurrency and its mechanized certification.- Semantic considerations in the actor paradigm of concurrent computation.- The pomset model of parallel processes: Unifying the temporal and the spatial.- Lectures on a calculus for communicating systems.- Concurrent behaviour: Sequences, processes and axioms.- Categories of models for concurrency.- Maximally concurrent evolution of non-sequential systems.- An improved failures model for communicating processes.- Denotational semantics for occam.- Linguistic support of receptionists for shared resources.- Applications of topology to semantics of communicating processes.- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety.- The ESTEREL synchronous programming language and its mathematical semantics.- An implementation model of rendezvous communication.- A fully abstract model of fair asynchrony.- Alternative semantics for McCarthy's amb.- Semantics of networks containing indeterminate operators.- Abstract interpretation and indeterminacy.- The NIL distributed systems programming language: A status report.
Series Title: Lecture notes in computer science, 197.
Responsibility: edited by S.D. Brookes, A.W. Roscoe, and G. Winskel.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/12345206> # Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "12345206" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793751616#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/paralleler_prozess> ; # Paralleler Prozess
    schema:about <http://dewey.info/class/004.35/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/kongress> ; # Kongress
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/processamento_eletronico_de_dados> ; # Processamento eletronico de dados
    schema:about <http://experiment.worldcat.org/entity/work/data/793751616#Topic/parallelverarbeitung> ; # Parallelverarbeitung
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/45727431> ; # A. W. Roscoe
    schema:contributor <http://viaf.org/viaf/67072437> ; # Stephen D. Brookes
    schema:contributor <http://viaf.org/viaf/54219188> ; # Glynn Winskel
    schema:copyrightYear "1985" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/793751616#Meeting/seminar_on_concurrency_1984_carnegie_mellon_university> ; # Seminar on Concurrency (1984 : Carnegie-Mellon University)
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793751616> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793751616#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/567935699> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/609149700> ;
    schema:name "Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984"@en ;
    schema:productID "12345206" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/12345206#PublicationEvent/berlin_new_york_springer_verlag_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793751616#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:workExample <http://worldcat.org/isbn/9783540156703> ;
    schema:workExample <http://worldcat.org/isbn/9780387156705> ;
    umbel:isLike <http://d-nb.info/850662486> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/12345206> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Meeting/seminar_on_concurrency_1984_carnegie_mellon_university> # Seminar on Concurrency (1984 : Carnegie-Mellon University)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/793751616#Place/carnegie_mellon_university> ; # Carnegie-Mellon University)
    schema:name "Seminar on Concurrency (1984 : Carnegie-Mellon University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Place/carnegie_mellon_university> # Carnegie-Mellon University)
    a schema:Place ;
    schema:name "Carnegie-Mellon University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/12345206> ; # Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Topic/paralleler_prozess> # Paralleler Prozess
    a schema:Intangible ;
    schema:name "Paralleler Prozess"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Topic/parallelisme_informatique> # Parallélisme (Informatique)
    a schema:Intangible ;
    schema:name "Parallélisme (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Topic/parallelverarbeitung> # Parallelverarbeitung
    a schema:Intangible ;
    schema:name "Parallelverarbeitung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793751616#Topic/processamento_eletronico_de_dados> # Processamento eletronico de dados
    a schema:Intangible ;
    schema:name "Processamento eletronico de dados"@en ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/45727431> # A. W. Roscoe
    a schema:Person ;
    schema:familyName "Roscoe" ;
    schema:givenName "A. W." ;
    schema:name "A. W. Roscoe" ;
    .

<http://viaf.org/viaf/54219188> # Glynn Winskel
    a schema:Person ;
    schema:familyName "Winskel" ;
    schema:givenName "Glynn" ;
    schema:givenName "G." ;
    schema:name "Glynn Winskel" ;
    .

<http://viaf.org/viaf/67072437> # Stephen D. Brookes
    a schema:Person ;
    schema:familyName "Brookes" ;
    schema:givenName "Stephen D." ;
    schema:givenName "S. D." ;
    schema:name "Stephen D. Brookes" ;
    .

<http://worldcat.org/isbn/9780387156705>
    a schema:ProductModel ;
    schema:isbn "0387156704" ;
    schema:isbn "9780387156705" ;
    .

<http://worldcat.org/isbn/9783540156703>
    a schema:ProductModel ;
    schema:isbn "3540156704" ;
    schema:isbn "9783540156703" ;
    .

<http://www.worldcat.org/oclc/567935699>
    a schema:CreativeWork ;
    rdfs:label "Seminar on Concurrency." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/12345206> ; # Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
    .

<http://www.worldcat.org/oclc/609149700>
    a schema:CreativeWork ;
    rdfs:label "Seminar on Concurrency." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/12345206> ; # Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
    .

<http://www.worldcat.org/title/-/oclc/12345206>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/12345206> ; # Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
    schema:dateModified "2019-03-11" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.