skip to content
CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings Preview this item
ClosePreview this item
Checking...

CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings

Author: Davide Sangiorgi; Robert de Simone
Publisher: Berlin : Springer, 1998.
Series: Lecture notes in computer science, 1466.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

These papers present the proceedings of an international conference on concurrency theory. They discuss topics which include moduls of computation and semantic domains, process algebras, petri nets,  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Nizza (1998)
Kongress
Congresses
Congrès
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Davide Sangiorgi; Robert de Simone
ISBN: 3540648968 9783540648963
OCLC Number: 40364663
Description: xi, 657 pages : illustrations ; 24 cm.
Contents: Sometimes and not never re-revisited: on branching versus linear time.- Controllers for discrete event systems via morphisms.- Synthesis from knowledge-based specifications.- The regular viewpoint on PA-processes.- Herbrand automata for hardware verification.- Control flow analysis for the ?-calculus.- The tau-laws of fusion.- From higher-order ?-calculus to ?-calculus in the presence of static operators.- Minimality and separation results on asynchronous mobile processes.- Abstract games for infinite state processes.- Alternating refinement relations.- Possible worlds process algebras.- Automata and coinduction (an exercise in coalgebra).- Axioms for real-time logics.- Priority and maximal progress are completely axiomatisable (extended abstract).- Simulation is decidable for one-counter nets.- From rewrite to bisimulation congruences.- Reasoning about asynchronous communication in dynamically evolving object structures.- Modelling IP mobility.- Reduction in TLA.- Detecting deadlocks in concurrent systems.- Unfold/fold transformations of CCP programs.- Type systems for concurrent calculi.- Stochastic process algebras benefits for performance evaluation and challenges.- Algebraic techniques for timed systems.- Probabilistic resource failure in real-time process algebra.- Towards performance evaluation with general distributions in process algebras.- Stochastic transition systems.- It's about time: Real-time logics reviewed.- Controlled timed automata.- On discretization of delays in timed automata and digital circuits.- Partial order reductions for timed systems.- Unfolding and finite prefix for nets with read arcs.- Asynchronous cellular automata and asynchronous automata for pomsets.- Deriving unbounded Petri nets from formal languages.- Decompositions of asynchronous systems.- Synthesis of ENI-systems using minimal regions.- A categorical axiomatics for bisimulation.- Fibrational semantics of dataflow networks.- A relational model of non-deterministic dataflow.- Checking verifications of protocols and distributed systems by computer.
Series Title: Lecture notes in computer science, 1466.
Other Titles: Concurrency theory
CONCUR'98
CONCUR 1998
Responsibility: Davide Sangiorgi, Robert de Simone (eds.).

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/40364663> # CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "40364663" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/203707660#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/203707660#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/203707660#Topic/parallelisme_informatique> ; # Parallélisme (Informatique)
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://dewey.info/class/004.35/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/203707660#Topic/kongress> ; # Kongress
   schema:alternateName "CONCUR'98" ;
   schema:alternateName "Concurrency theory" ;
   schema:alternateName "CONCUR 1998" ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/203707660#Meeting/international_conference_on_concurrency_theory_9th_1998_nice_france> ; # International Conference on Concurrency Theory (9th : 1998 : Nice, France)
   schema:datePublished "1998" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/203707660#Person/sangiorgi_davide> ; # Davide Sangiorgi
   schema:editor <http://experiment.worldcat.org/entity/work/data/203707660#Person/simone_robert_de> ; # Robert de Simone
   schema:exampleOfWork <http://worldcat.org/entity/work/id/203707660> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Nizza (1998)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings"@en ;
   schema:productID "40364663" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40364663#PublicationEvent/berlin_springer_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/203707660#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz068335369kap.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz068335369cov.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz068335369inh.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540648963> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9868269> ;
   umbel:isLike <http://d-nb.info/954116313> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40364663> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/203707660#Meeting/international_conference_on_concurrency_theory_9th_1998_nice_france> # International Conference on Concurrency Theory (9th : 1998 : Nice, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/203707660#Place/nice_france> ; # Nice, France)
   schema:name "International Conference on Concurrency Theory (9th : 1998 : Nice, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/203707660#Person/sangiorgi_davide> # Davide Sangiorgi
    a schema:Person ;
   schema:familyName "Sangiorgi" ;
   schema:givenName "Davide" ;
   schema:name "Davide Sangiorgi" ;
    .

<http://experiment.worldcat.org/entity/work/data/203707660#Person/simone_robert_de> # Robert de Simone
    a schema:Person ;
   schema:familyName "Simone" ;
   schema:givenName "Robert de" ;
   schema:name "Robert de Simone" ;
    .

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

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

<http://worldcat.org/isbn/9783540648963>
    a schema:ProductModel ;
   schema:isbn "3540648968" ;
   schema:isbn "9783540648963" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40364663> ; # CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/40364663>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40364663> ; # CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
   schema:dateModified "2016-05-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.