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 : Springer-Verlag, ©1989.
Series: Lecture notes in computer science, 354.
Edition/Format:   eBook : Document : 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 in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J W de Bakker; W -P de Roever; Grzegorz Rozenberg
ISBN: 9783540461470 3540461477 9783540510802 354051080X
OCLC Number: 990604928
Language Note: English.
Notes: Bibliographic Level Mode of Issuance: Monograph.
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 713 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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 [italic] 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.

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/990604928> # 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:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "990604928" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    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#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/data_structures_computer_science> ; # Data structures (Computer science)
    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#Topic/operating_systems_computers> ; # Operating systems (Computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/microprogramming> ; # Microprogramming
    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/computer_networks> ; # Computer networks
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/parallel_processing_electronic_computers> ; # Parallel processing (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/microprocessors> ; # Microprocessors
    schema:about <http://dewey.info/class/005.11/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/862940409#Topic/computer_science> ; # Computer science
    schema:bookFormat schema:EBook ;
    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. It 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 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems sponsored by the Netherlands NFI (Nationale Faciliteit Informatica) Programme. The meeting was organized under auspices of the EATCS and was furthermore supported by the Centre for Mathematics and Computer Science, the University of Leiden, and the Eindhoven University of Technology."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/862940409#Person/roever_w_p_de_1943> ; # W.-P. de Roever
    schema:editor <http://experiment.worldcat.org/entity/work/data/862940409#Person/bakker_j_w_de_jacobus_willem_1939> ; # Jacobus Willem Bakker
    schema:editor <http://experiment.worldcat.org/entity/work/data/862940409#Person/rozenberg_grzegorz> ; # Grzegorz Rozenberg
    schema:exampleOfWork <http://worldcat.org/entity/work/id/862940409> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/862940409#CreativeWork/> ;
    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 "990604928" ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/354051080X> ;
    schema:url <http://dx.doi.org/10.1007/BFb0013019> ;
    schema:url <http://link.springer.com/10.1007/BFb0013019> ;
    schema:url <http://books.google.com/books?id=Go1QAAAAMAAJ> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/19515753.html> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-51080-2> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-51080-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540510802> ;
    schema:workExample <http://dx.doi.org/10.1007/BFb0013019> ;
    schema:workExample <http://worldcat.org/isbn/9783540461470> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/990604928> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/862940409#Person/bakker_j_w_de_jacobus_willem_1939> # 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://experiment.worldcat.org/entity/work/data/862940409#Person/roever_w_p_de_1943> # 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://experiment.worldcat.org/entity/work/data/862940409#Person/rozenberg_grzegorz> # Grzegorz Rozenberg
    a schema:Person ;
    schema:familyName "Rozenberg" ;
    schema:givenName "Grzegorz" ;
    schema:name "Grzegorz Rozenberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/computer_networks> # Computer networks
    a schema:Intangible ;
    schema:name "Computer networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/data_structures_computer_science> # Data structures (Computer science)
    a schema:Intangible ;
    schema:name "Data structures (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
    schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862940409#Topic/operating_systems_computers> # Operating systems (Computers)
    a schema:Intangible ;
    schema:name "Operating systems (Computers)"@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/parallel_processing_electronic_computers> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@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://worldcat.org/entity/work/data/862940409#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/990604928> ; # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    .

<http://worldcat.org/isbn/9783540461470>
    a schema:ProductModel ;
    schema:isbn "3540461477" ;
    schema:isbn "9783540461470" ;
    .

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

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/990604928> ; # Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/990604928>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/990604928> ; # 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 "2018-10-15" ;
    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.