skip to content
2015 15th International Conference on Application of Concurrency to System Design : ACSD 2015 : proceedings : 21-26 June 2015, Brussels, Belgium. Preview this item
ClosePreview this item
Checking...

2015 15th International Conference on Application of Concurrency to System Design : ACSD 2015 : proceedings : 21-26 June 2015, Brussels, Belgium.

Publisher: Los Alamitos, California : IEEE Computer Society, Conference Publishing Services, [2015] ©2015
Edition/Format:   eBook : Document : Conference publication : English
Summary:
Annotation

The conference aims at cross fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behavior.

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
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
OCLC Number: 946156702
Notes: "IEEE Computer Society Order Number E5608"--PDF copyright page.
"ACSD 2015 is organised in conjunction with the 36th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2015)."--PDF Preface.
Description: 1 online resource (xii, 152 pages) : illustrations (some color)
Other Titles: ACSD 2015
Application of Concurrency to System Design (ACSD), 2015 15th International Conference on
15th International Conference on Application of Concurrency to System Design (ACSD)

Abstract:

Annotation

The conference aims at cross fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behavior.

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/946156702> # 2015 15th International Conference on Application of Concurrency to System Design : ACSD 2015 : proceedings : 21-26 June 2015, Brussels, Belgium.
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "946156702" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2974767083#Topic/petri_nets> ; # Petri nets
   schema:about <http://experiment.worldcat.org/entity/work/data/2974767083#Topic/parallel_processing_electronic_computers> ; # Parallel processing (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/2974767083#Topic/system_design> ; # System design
   schema:alternateName "15th International Conference on Application of Concurrency to System Design (ACSD)" ;
   schema:alternateName "Application of Concurrency to System Design (ACSD), 2015 15th International Conference on" ;
   schema:alternateName "ACSD 2015" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2974767083#Meeting/international_conference_on_applications_and_theory_of_petri_nets_and_other_models_of_concurrency_36th_2015_brussels_belgium> ; # International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (36th : 2015 : Brussels, Belgium)
   schema:copyrightYear "2015" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/2974767083#Meeting/international_conference_on_application_of_concurrency_to_system_design_15th_2015_brussels_belgium> ; # International Conference on Application of Concurrency to System Design (15th : 2015 : Brussels, Belgium)
   schema:datePublished "2015" ;
   schema:description "Annotation"@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2974767083> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:name "2015 15th International Conference on Application of Concurrency to System Design : ACSD 2015 : proceedings : 21-26 June 2015, Brussels, Belgium."@en ;
   schema:productID "946156702" ;
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=7352411> ;
   schema:url <http://ezproxy.uis.edu:2048/login?url=http://ieeexplore.ieee.org/servlet/opac?punumber=7352411> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/946156702> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2974767083#Meeting/international_conference_on_application_of_concurrency_to_system_design_15th_2015_brussels_belgium> # International Conference on Application of Concurrency to System Design (15th : 2015 : Brussels, Belgium)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2974767083#Place/brussels_belgium> ; # Brussels, Belgium)
   schema:name "International Conference on Application of Concurrency to System Design (15th : 2015 : Brussels, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2974767083#Meeting/international_conference_on_applications_and_theory_of_petri_nets_and_other_models_of_concurrency_36th_2015_brussels_belgium> # International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (36th : 2015 : Brussels, Belgium)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2974767083#Place/brussels_belgium> ; # Brussels, Belgium)
   schema:name "International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (36th : 2015 : Brussels, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2974767083#Place/brussels_belgium> # Brussels, Belgium)
    a schema:Place ;
   schema:name "Brussels, Belgium)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2974767083#Topic/parallel_processing_electronic_computers> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://www.worldcat.org/title/-/oclc/946156702>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/946156702> ; # 2015 15th International Conference on Application of Concurrency to System Design : ACSD 2015 : proceedings : 21-26 June 2015, Brussels, Belgium.
   schema:dateModified "2017-10-22" ;
   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.