skip to content
ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal Preview this item
ClosePreview this item
Checking...

ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal

Author: Johan Lilius; Felice Balarin; Ricardo J Machado; IFIP WG 10.5.; Formal Methods Europe (Organization)
Publisher: Los Alamitos, Calif. : IEEE Computer Society, ©2003.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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
All Authors / Contributors: Johan Lilius; Felice Balarin; Ricardo J Machado; IFIP WG 10.5.; Formal Methods Europe (Organization)
OCLC Number: 53215187
Description: 1 online resource (xii, 251 pages) : illustrations
Other Titles: Third International Conference on Application of Concurrency to System Design
Application of concurrency to system design
Responsibility: edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IPIP WG10.5 [and others] ; in cooperation with FME--Formal Methods Europe [and others].

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/53215187> # ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "53215187" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2866145333#Place/los_alamitos_calif> ; # Los Alamitos, Calif.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://dewey.info/class/004.358/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2866145333#Topic/system_design> ; # System design
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:alternateName "Application of concurrency to system design" ;
   schema:alternateName "Third International Conference on Application of Concurrency to System Design" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/304664383> ; # Ricardo J. Machado
   schema:contributor <http://viaf.org/viaf/125979653> ; # IFIP WG 10.5.
   schema:contributor <http://viaf.org/viaf/65857880> ; # Johan Lilius
   schema:contributor <http://viaf.org/viaf/162842212> ; # Felice Balarin
   schema:contributor <http://viaf.org/viaf/167674029> ; # Formal Methods Europe (Organization)
   schema:copyrightYear "2003" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/2866145333#Meeting/international_conference_on_application_of_concurrency_to_system_design_3rd_2003_guimaraes_portugal> ; # International Conference on Application of Concurrency to System Design (3rd : 2003 : Guimarães, Portugal)
   schema:datePublished "2003" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2866145333> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal"@en ;
   schema:productID "53215187" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/53215187#PublicationEvent/los_alamitos_calif_ieee_computer_society_2003> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2866145333#Agent/ieee_computer_society> ; # IEEE Computer Society
   schema:url <http://ieeexplore.ieee.org/servlet/opac?punumber=8583> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/53215187> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2866145333#Agent/ieee_computer_society> # IEEE Computer Society
    a bgn:Agent ;
   schema:name "IEEE Computer Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/2866145333#Meeting/international_conference_on_application_of_concurrency_to_system_design_3rd_2003_guimaraes_portugal> # International Conference on Application of Concurrency to System Design (3rd : 2003 : Guimarães, Portugal)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/2866145333#Place/guimaraes_portugal> ; # Guimarães, Portugal)
   schema:name "International Conference on Application of Concurrency to System Design (3rd : 2003 : Guimarães, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2866145333#Place/guimaraes_portugal> # Guimarães, Portugal)
    a schema:Place ;
   schema:name "Guimarães, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2866145333#Place/los_alamitos_calif> # Los Alamitos, Calif.
    a schema:Place ;
   schema:name "Los Alamitos, Calif." ;
    .

<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/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@en ;
    .

<http://viaf.org/viaf/125979653> # IFIP WG 10.5.
    a schema:Organization ;
   schema:name "IFIP WG 10.5." ;
    .

<http://viaf.org/viaf/162842212> # Felice Balarin
    a schema:Person ;
   schema:familyName "Balarin" ;
   schema:givenName "Felice" ;
   schema:name "Felice Balarin" ;
    .

<http://viaf.org/viaf/167674029> # Formal Methods Europe (Organization)
    a schema:Organization ;
   schema:name "Formal Methods Europe (Organization)" ;
    .

<http://viaf.org/viaf/304664383> # Ricardo J. Machado
    a schema:Person ;
   schema:familyName "Machado" ;
   schema:givenName "Ricardo J." ;
   schema:name "Ricardo J. Machado" ;
    .

<http://viaf.org/viaf/65857880> # Johan Lilius
    a schema:Person ;
   schema:familyName "Lilius" ;
   schema:givenName "Johan" ;
   schema:name "Johan Lilius" ;
    .

<http://www.worldcat.org/title/-/oclc/53215187>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/53215187> ; # ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal
   schema:dateModified "2017-12-24" ;
   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.