skip to content
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

Author: Wolf Zimmermann; B Thalheim
Publisher: Berlin ; New York : Springer, ©2004.
Series: Lecture notes in computer science, 3052.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany).
Abstract state machines 2004.
Berlin ; New York : Springer, ©2004
(DLC) 2004105718
(OCoLC)55523899
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolf Zimmermann; B Thalheim
ISBN: 3540247734 9783540247739
OCLC Number: 60755629
Description: 1 online resource (xii, 233 pages) : illustrations.
Contents: Invited Papers --
Intra-step Interaction --
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering --
An ALGOL-View on Turbo ASM --
An ASM Specification of C♯ Threads and the .NET Memory Model --
Finite Cursor Machines in Database Query Processing --
Research Papers --
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs --
Specification and Validation of the Business Process Execution Language for Web Services --
Monodic ASMs and Temporal Verification --
Towards an Interchange Language for ASMs --
Specification and Implementation Problems for C♯ --
An ASM Semantics for SSA Intermediate Representations --
Observations on the Decidability of Transitions --
A Security Logic for Abstract State Machines --
Slicing Abstract State Machines --
The Cryptographic Abstract Machine --
Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.
Series Title: Lecture notes in computer science, 3052.
Other Titles: Abstract state machines
ASM 2004
Responsibility: Wolf Zimmermann, Bernhard Thalheim (eds.).

Abstract:

This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well.

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/60755629> # Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "60755629" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354062211#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/354062211#Topic/mathematics_logic> ; # MATHEMATICS--Logic
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/354062211#Topic/machine_theory> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/354062211#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
   schema:alternateName "Abstract state machines" ;
   schema:alternateName "ASM 2004" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/62164507> ; # Bernhard Thalheim
   schema:contributor <http://viaf.org/viaf/30082550> ; # Wolf Zimmermann
   schema:copyrightYear "2004" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/354062211#Meeting/asm_2004_2004_wittenberg_saxony_anhalt_germany> ; # ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany)
   schema:datePublished "2004" ;
   schema:description "Invited Papers -- Intra-step Interaction -- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering -- An ALGOL-View on Turbo ASM -- An ASM Specification of C♯ Threads and the .NET Memory Model -- Finite Cursor Machines in Database Query Processing -- Research Papers -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business Process Execution Language for Web Services -- Monodic ASMs and Temporal Verification -- Towards an Interchange Language for ASMs -- Specification and Implementation Problems for C♯ -- An ASM Semantics for SSA Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic for Abstract State Machines -- Slicing Abstract State Machines -- The Cryptographic Abstract Machine -- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals."@en ;
   schema:description "This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/354062211> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/354062211#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/55523899> ;
   schema:name "Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings"@en ;
   schema:productID "60755629" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/60755629#PublicationEvent/berlin_new_york_springer_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/354062211#Agent/springer> ; # Springer
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=133745> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3052> ;
   schema:url <http://dx.doi.org/10.1007/b98118> ;
   schema:url <http://www.myilibrary.com?id=30768&ref=toc> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/11011170> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3052> ;
   schema:url <http://www.myilibrary.com?id=30768> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-22094-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540247739> ;
   schema:workExample <http://dx.doi.org/10.1007/b98118> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/60755629> ;
    .


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/354062211#Meeting/asm_2004_2004_wittenberg_saxony_anhalt_germany> # ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/354062211#Place/wittenberg_saxony_anhalt_germany> ; # Wittenberg, Saxony-Anhalt, Germany)
   schema:name "ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/354062211#Place/wittenberg_saxony_anhalt_germany> # Wittenberg, Saxony-Anhalt, Germany)
    a schema:Place ;
   schema:name "Wittenberg, Saxony-Anhalt, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/354062211#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/60755629> ; # Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/354062211#Topic/mathematics_infinity> # MATHEMATICS--Infinity
    a schema:Intangible ;
   schema:name "MATHEMATICS--Infinity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/354062211#Topic/mathematics_logic> # MATHEMATICS--Logic
    a schema:Intangible ;
   schema:name "MATHEMATICS--Logic"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://viaf.org/viaf/30082550> # Wolf Zimmermann
    a schema:Person ;
   schema:familyName "Zimmermann" ;
   schema:givenName "Wolf" ;
   schema:name "Wolf Zimmermann" ;
    .

<http://viaf.org/viaf/62164507> # Bernhard Thalheim
    a schema:Person ;
   schema:birthDate "1952" ;
   schema:familyName "Thalheim" ;
   schema:givenName "Bernhard" ;
   schema:givenName "B." ;
   schema:name "Bernhard Thalheim" ;
    .

<http://worldcat.org/isbn/9783540247739>
    a schema:ProductModel ;
   schema:isbn "3540247734" ;
   schema:isbn "9783540247739" ;
    .

<http://www.worldcat.org/oclc/55523899>
    a schema:CreativeWork ;
   rdfs:label "Abstract state machines 2004." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/60755629> ; # Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/60755629>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/60755629> ; # Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
   schema:dateModified "2018-03-10" ;
   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.