skip to content
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 Preview this item
ClosePreview this item
Checking...

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988

Author: J W de Bakker; W -P de Roever; Grzegorz Rozenberg
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in computer science, 354.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
Modelling the behaviour of concurrent and distributed systems has grown into one of the most challenging and vigorous research areas within theoretical computer science. The last decade has seen the emergence of three independent approaches to this problem, some of them capturing differences between systems that others ignore. The first one models a system by describing its execution runs, the second one by  Read more...
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)
Kongress
Additional Physical Format: Online version:
Linear time, branching time, and partial order in logics and models for concurrency.
Berlin ; New York : Springer-Verlag, ©1989
(OCoLC)580142254
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J W de Bakker; W -P de Roever; Grzegorz Rozenberg
ISBN: 038751080X 9780387510804 354051080X 9783540510802
OCLC Number: 19515753
Notes: "Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Preface.
Description: viii, 713 pages : illustrations ; 25 cm.
Details: Mode of access: World Wide Web.
Contents: Tutorials ; Time, logic and computation / J. van Benthem --
Process theory based on bisimulation semantics / J.A. Bergstra, J.W. Klop --
Branching time temporal logic / E.A. Emerson, J. Srinivasan --
Observing processes / M. Hennessy --
The anchored version of the temporal framework / Z. Manna, A. Pnueli --
Basic notions of trace theory / A. Mazurkiewicz --
An introduction to event structures / G. Winskel --
Technical contributions ; A logic for the description of behaviours and properties of concurrent systems / A. Bouajjani, S. Graf, J. Sifakis --
Permutation of transitions : an event structure semantics for CCS and SCCS / G. Boudol, I. Castellani --
Expressibility results for linear-time and branching-time logics / E.M. Clarke, I.A. Draghicescu --
Partial orderings descriptions and observations of nondeterministic concurrent processes / P. Degano, R. De Nicola, U. Montanari --
Modeling concurrency by partial orders and nonlinear transition systems / H. Gaifman --
An efficient verification method for parallel and distributed programs / S. Katz, D. Peled --
A logic for distributed transition systems / K. Lodaya, R. Ramanujam, P.S. Thiagarajan --
Fully abstract models for a process language with refinement / M. Nielsen, U. Engberg, K.S. Larsen --
Strong bisimilarity on nets: a new concept for comparing net semantics / E.-R. Olderog --
Nets of processes and data flow / A. Rabinovich, B.A. Trakhtenbrot --
Towards a temporal logic of causality and choice in distributed systems / W. Reisig --
Correctness and full abstraction of metric semantics for concurrency / J.J.M.M. Rutten --
Temporal logics for CCS / C. Stirling --
Behavioural presentations / M.W. Shields --
Computation tree logic and regular w-languages / W. Thomas.
Series Title: Lecture notes in computer science, 354.
Responsibility: edited by J.W. de Bakker, W.-P. de Roever, [and] G. Rozenberg.
More information:

Abstract:

This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988  Read more...

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/19515753> # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "19515753" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862940409#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/004.35/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Thing/branching_time> ; # branching time
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/programmation_parrallele_informatique> ; # Programmation parrallèle (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Place/noordwijkerhout> ; # Noordwijkerhout
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Thing/logics> ; # logics
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Thing/linear_time> ; # linear time
    schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Thing/eatcs> ; # EATCS
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Thing/nfi> ; # NFI
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/traitement_reparti> ; # Traitement réparti
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
    schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/862940409#Meeting/school_workshop_on_linear_time_branching_time_and_partial_order_in_logics_and_models_for_concurrency_1988_noordwijkerhout_netherlands> ; # School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
    schema:contributor <http://viaf.org/viaf/76378808> ; # Grzegorz Rozenberg
    schema:contributor <http://viaf.org/viaf/95095> ; # Jacobus Willem Bakker
    schema:contributor <http://viaf.org/viaf/59186024> ; # W.-P. de Roever
    schema:copyrightYear "1989" ;
    schema:datePublished "1989" ;
    schema:description "Modelling the behaviour of concurrent and distributed systems has grown into one of the most challenging and vigorous research areas within theoretical computer science. The last decade has seen the emergence of three independent approaches to this problem, some of them capturing differences between systems that others ignore. The first one models a system by describing its execution runs, the second one by analysing the execution trees, and the third one models a system by describing the (in)dependencies and choices between the various events that may occur. Paradigmatic for these approaches are semantic domains with linear or branching elements, linear time and branching time temporal logic, and net theory. Although it seems that the more features a system captures the better, if one wants some measure of abstractness and parsimony, some of such features may be too detailed for a given level of description. This volume reviews these intrinsically different approaches and evaluates their relative advantages."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/862940409> ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862940409#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/580142254> ;
    schema:name "Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988"@en ;
    schema:productID "19515753" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/19515753#PublicationEvent/berlin_new_york_springer_verlag_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/862940409#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:url <http://swbplus.bsz-bw.de/bsz01756221xcov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9780387510804> ;
    schema:workExample <http://worldcat.org/isbn/9783540510802> ;
    umbel:isLike <http://d-nb.info/890961972> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/19515753> ;
    .


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/862940409#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Meeting/school_workshop_on_linear_time_branching_time_and_partial_order_in_logics_and_models_for_concurrency_1988_noordwijkerhout_netherlands> # School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/862940409#Place/noordwijkerhout_netherlands> ; # Noordwijkerhout, Netherlands)
    schema:name "School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Place/noordwijkerhout> # Noordwijkerhout
    a schema:Place ;
    schema:name "Noordwijkerhout" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Place/noordwijkerhout_netherlands> # Noordwijkerhout, Netherlands)
    a schema:Place ;
    schema:name "Noordwijkerhout, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/19515753> ; # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Thing/branching_time> # branching time
    a schema:Thing ;
    schema:name "branching time" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/nebenlaufigkeit> # Nebenläufigkeit
    a schema:Intangible ;
    schema:name "Nebenläufigkeit"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/programmation_parrallele_informatique> # Programmation parrallèle (Informatique)
    a schema:Intangible ;
    schema:name "Programmation parrallèle (Informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/traitement_reparti> # Traitement réparti
    a schema:Intangible ;
    schema:name "Traitement réparti"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85042293> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

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

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://viaf.org/viaf/59186024> # W.-P. de Roever
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Roever" ;
    schema:givenName "W.-P. de" ;
    schema:name "W.-P. de Roever" ;
    .

<http://viaf.org/viaf/76378808> # Grzegorz Rozenberg
    a schema:Person ;
    schema:familyName "Rozenberg" ;
    schema:givenName "Grzegorz" ;
    schema:name "Grzegorz Rozenberg" ;
    .

<http://viaf.org/viaf/95095> # Jacobus Willem Bakker
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Bakker" ;
    schema:givenName "Jacobus Willem" ;
    schema:givenName "J. W. de" ;
    schema:name "Jacobus Willem Bakker" ;
    .

<http://worldcat.org/isbn/9780387510804>
    a schema:ProductModel ;
    schema:isbn "038751080X" ;
    schema:isbn "9780387510804" ;
    .

<http://worldcat.org/isbn/9783540510802>
    a schema:ProductModel ;
    schema:isbn "354051080X" ;
    schema:isbn "9783540510802" ;
    .

<http://www.worldcat.org/oclc/580142254>
    a schema:CreativeWork ;
    rdfs:label "Linear time, branching time, and partial order in logics and models for concurrency." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/19515753> ; # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    .

<http://www.worldcat.org/title/-/oclc/19515753>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/19515753> ; # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    schema:dateModified "2019-03-20" ;
    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.