skip to content
CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings Preview this item
ClosePreview this item
Checking...

CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings

Author: Eike Best
Publisher: Berlin ; New York : Springer-Verlag, ©1993.
Series: Lecture notes in computer science, 715.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
"This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus  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: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
International Conference on Concurrency Theory (4th : 1993 : Hildesheim, Germany).
CONCUR '93.
Berlin ; New York : Springer-Verlag, ©1993
(OCoLC)820684456
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Eike Best
ISBN: 3540572082 9783540572084 0387572082 9780387572086
OCLC Number: 28633283
Description: ix, 540 pages : illustrations ; 24 cm.
Contents: The lambda-calculus with multiplicities.- A multiset semantics for the pi-calculus with replication.- Model checking mobile processes.- A practical technique for process abstraction.- Modular completeness for Communication Closed Layers.- The linear time - Branching time spectrum II.- A classification of models for concurrency.- On the ill-timed but well-caused.- On the reduction of chocs bisimulation to ?-calculus bisimulation.- A theory of bisimulation for the ?-calculus.- Bisimulation equivalence is decidable for basic parallel processes.- A pi-calculus semantics for an object-based design notation.- Programming with broadcasts.- Interpreting broadcast communication in SCCS.- Proof systems for message-passing process algebras.- Refinement and decomposition of value-passing action systems.- Partial-order methods for temporal verification.- Model construction for implicit specifications in modal logic.- Branching time temporal logic and amorphous tree automata.- A generalized event structure for the Muller unfolding of a safe net.- Domains of higher-dimensional automata.- Non interleaving process algebra.- Quiescence, fairness, testing, and the notion of implementation.- Two fully abstract models for UNITY.- Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract).- Minimal memory schedules for dataflow networks.- Networks of real-time processes.- Loop parallelization in the polytope model.- ACSR: An algebra of communicating shared resources with dense time and priorities.- An Elimination Theorem for regular behaviours with integration.- A linear local model checking algorithm for CTL.- Local event structures and Petri nets.- A congruence theorem for structured operational semantics with predicates.- From CML to process algebras.- Types for dyadic interaction.- Principal typing schemes in a polyadic ?-calculus.- Structured operational semantics for process algebras and equational axiom systems.
Series Title: Lecture notes in computer science, 715.
Responsibility: Eike Best, ed.

Abstract:

This volume contains the proceedings of an international conference devoted to aspects of concurrency theory. Topics discussed include the development of pi-calculus semantics for an object-based  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/28633283> # CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "28633283" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/897939550#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://experiment.worldcat.org/entity/work/data/897939550#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/parallelisme_informatique_congres> ; # Parallélisme (informatique)--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/theorie_concurrence> ; # théorie concurrence
   schema:about <http://dewey.info/class/004.35/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/concurrence> ; # concurrence
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/logique_temporelle> ; # logique temporelle
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/lambda_calcul> ; # lambda calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/semantique> ; # sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/computacao_metodologia_e_tecnicas> ; # Computacao (Metodologia E Tecnicas)
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/897939550#Topic/concurrente_programmering> ; # Concurrente programmering
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/897939550#Person/best_eike_1931> ; # Eike Best
   schema:copyrightYear "1993" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/897939550#Meeting/international_conference_on_concurrency_theory_4th_1993_hildesheim_germany> ; # International Conference on Concurrency Theory (4th : 1993 : Hildesheim, Germany)
   schema:datePublished "1993" ;
   schema:description ""This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications. The volume contains 31 papers selected from 113submissions, together with four invited papers and two abstracts of invited talks. The invited talks are: "The lambda-calculus with multiplicities" (extended abstract) by G rard Boudol, "A pi-calculus semantics for an object-based design notation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C.M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom."--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/897939550> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/897939550#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/820684456> ;
   schema:name "CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings"@en ;
   schema:productID "28633283" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/28633283#PublicationEvent/berlin_new_york_springer_verlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/897939550#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9783540572084> ;
   schema:workExample <http://worldcat.org/isbn/9780387572086> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/28633283> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/897939550#Meeting/international_conference_on_concurrency_theory_4th_1993_hildesheim_germany> # International Conference on Concurrency Theory (4th : 1993 : Hildesheim, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/897939550#Place/hildesheim_germany> ; # Hildesheim, Germany)
   schema:name "International Conference on Concurrency Theory (4th : 1993 : Hildesheim, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/897939550#Place/hildesheim_germany> # Hildesheim, Germany)
    a schema:Place ;
   schema:name "Hildesheim, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/897939550#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/28633283> ; # CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/897939550#Topic/computacao_metodologia_e_tecnicas> # Computacao (Metodologia E Tecnicas)
    a schema:Intangible ;
   schema:name "Computacao (Metodologia E Tecnicas)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/897939550#Topic/concurrente_programmering> # Concurrente programmering
    a schema:Intangible ;
   schema:name "Concurrente programmering"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/897939550#Topic/parallelisme_informatique_congres> # Parallélisme (informatique)--Congrès
    a schema:Intangible ;
   schema:name "Parallélisme (informatique)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/897939550#Topic/theorie_concurrence> # théorie concurrence
    a schema:Intangible ;
   schema:name "théorie concurrence"@en ;
    .

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

<http://worldcat.org/isbn/9780387572086>
    a schema:ProductModel ;
   schema:isbn "0387572082" ;
   schema:isbn "9780387572086" ;
    .

<http://worldcat.org/isbn/9783540572084>
    a schema:ProductModel ;
   schema:isbn "3540572082" ;
   schema:isbn "9783540572084" ;
    .

<http://www.worldcat.org/oclc/820684456>
    a schema:CreativeWork ;
   rdfs:label "CONCUR '93." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/28633283> ; # CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/28633283>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/28633283> ; # CONCUR '93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993 : proceedings
   schema:dateModified "2017-01-21" ;
   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.