skip to content
A logical process calculus Preview this item
ClosePreview this item
Checking...

A logical process calculus

Author: Rance Cleaveland; Gerald Lüttgen; Institute for Computer Applications in Science and Engineering.
Publisher: Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, VA] : [For sale by the National Technical Information Service], [2002]
Series: ICASE report, no. 2002-26.; NASA contractor report, NASA CR-211759.
Edition/Format:   Book   Microform : National government publication : Microfiche : 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

Material Type: Government publication, National government publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Rance Cleaveland; Gerald Lüttgen; Institute for Computer Applications in Science and Engineering.
OCLC Number: 60380713
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002]. 1 microfiche.
Description: 1 volume.
Series Title: ICASE report, no. 2002-26.; NASA contractor report, NASA CR-211759.
Responsibility: Rance Cleaveland, Gerald Lüttgen.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

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/60380713> # A logical process calculus
    a schema:Book, schema:CreativeWork, bgn:Microform ;
    library:oclcnum "60380713" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1910251956#Place/springfield_va> ; # Springfield, VA
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1910251956#Place/hampton_va> ; # Hampton, VA
    rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://purl.access.gpo.gov/GPO/LPS60571";'" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1910251956#Topic/heterogeneity> ; # Heterogeneity
    schema:about <http://id.worldcat.org/fast/1129034> ; # Specifications
    schema:about <http://id.worldcat.org/fast/804885> ; # Algebra
    schema:contributor <http://viaf.org/viaf/147186929> ; # Institute for Computer Applications in Science and Engineering.
    schema:contributor <http://viaf.org/viaf/14462268> ; # Gerald Lüttgen
    schema:creator <http://viaf.org/viaf/308771850> ; # Rance Cleaveland
    schema:datePublished "2002" ;
    schema:datePublished "2001" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1910251956> ;
    schema:genre "Government publication"@en ;
    schema:genre "National government publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1910251956#Series/icase_report> ; # ICASE report ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1910251956#Series/nasa_contractor_report> ; # NASA contractor report ;
    schema:name "A logical process calculus"@en ;
    schema:productID "60380713" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/60380713#PublicationEvent/hampton_va_institute_for_computer_applications_in_science_and_engineering_nasa_langley_research_center_springfield_va_for_sale_by_the_national_technical_information_service_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1910251956#Agent/institute_for_computer_applications_in_science_and_engineering_nasa_langley_research_center> ; # Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1910251956#Agent/for_sale_by_the_national_technical_information_service> ; # [For sale by the National Technical Information Service]
    schema:url <http://purl.access.gpo.gov/GPO/LPS60571> ;
    schema:url <http://utils.louislibraries.org/cgi-bin/lz0050.x?sitecode=LAVW?http://purl.access.gpo.gov/GPO/LPS60571> ;
    schema:url "http://purl.access.gpo.gov/GPO/LPS60571";" ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/60380713> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1910251956#Agent/for_sale_by_the_national_technical_information_service> # [For sale by the National Technical Information Service]
    a bgn:Agent ;
    schema:name "[For sale by the National Technical Information Service]" ;
    .

<http://experiment.worldcat.org/entity/work/data/1910251956#Agent/institute_for_computer_applications_in_science_and_engineering_nasa_langley_research_center> # Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
    a bgn:Agent ;
    schema:name "Institute for Computer Applications in Science and Engineering, NASA Langley Research Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1910251956#Place/springfield_va> # Springfield, VA
    a schema:Place ;
    schema:name "Springfield, VA" ;
    .

<http://experiment.worldcat.org/entity/work/data/1910251956#Series/icase_report> # ICASE report ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/60380713> ; # A logical process calculus
    schema:name "ICASE report ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1910251956#Series/nasa_contractor_report> # NASA contractor report ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/60380713> ; # A logical process calculus
    schema:name "NASA contractor report ;" ;
    schema:name "[NASA contractor report] ;" ;
    .

<http://id.worldcat.org/fast/1129034> # Specifications
    a schema:Intangible ;
    schema:name "Specifications"@en ;
    .

<http://id.worldcat.org/fast/804885> # Algebra
    a schema:Intangible ;
    schema:name "Algebra"@en ;
    .

<http://viaf.org/viaf/14462268> # Gerald Lüttgen
    a schema:Person ;
    schema:familyName "Lüttgen" ;
    schema:givenName "Gerald" ;
    schema:name "Gerald Lüttgen" ;
    .

<http://viaf.org/viaf/147186929> # Institute for Computer Applications in Science and Engineering.
    a schema:Organization ;
    schema:name "Institute for Computer Applications in Science and Engineering." ;
    .

<http://viaf.org/viaf/308771850> # Rance Cleaveland
    a schema:Person ;
    schema:familyName "Cleaveland" ;
    schema:givenName "Rance" ;
    schema:name "Rance Cleaveland" ;
    .

<http://www.worldcat.org/title/-/oclc/60380713#PublicationEvent/hampton_va_institute_for_computer_applications_in_science_and_engineering_nasa_langley_research_center_springfield_va_for_sale_by_the_national_technical_information_service_2002>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1910251956#Place/springfield_va> ; # Springfield, VA
    schema:location <http://experiment.worldcat.org/entity/work/data/1910251956#Place/hampton_va> ; # Hampton, VA
    schema:organizer <http://experiment.worldcat.org/entity/work/data/1910251956#Agent/for_sale_by_the_national_technical_information_service> ; # [For sale by the National Technical Information Service]
    schema:organizer <http://experiment.worldcat.org/entity/work/data/1910251956#Agent/institute_for_computer_applications_in_science_and_engineering_nasa_langley_research_center> ; # Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
    schema:startDate "2002" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.