skip to content
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings Preview this item
ClosePreview this item
Checking...

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Author: Doron A Peled; Moshe Y Vardi
Publisher: Berlin ; New York : Springer, 2002.
Series: Lecture notes in computer science, 2529.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. -  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: Electronic books
Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Doron A Peled; Moshe Y Vardi
ISBN: 3540001417 9783540001416
OCLC Number: 50898597
Description: xi, 368 pages : illustrations ; 24 cm.
Contents: Encoding PAMR into (Timed) EFSMs / Manuel Nunez and Ismael Rodriguez --
Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann --
Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower and Kenneth S. Stevens --
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang and Karsten Schmidt --
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan Bosnacki --
Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner and Qian Bing --
System Test Synthesis from UML Models of Distributed Software / Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jeron, Jean-Marc Jezequel and Alain Le Guennec --
Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen and Stephan Tobies --
Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec and Kenneth J. Turner --
A Formal Venture into Reliable Multicast Territory / Carolos Livadas and Nancy A. Lynch --
Modelling SIP Services Using CRESS / Kenneth J. Turner --
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjala, Sari Leppanen and Vesa Luukkala --
Verifying Randomized Byzantine Agreement / Marta Kwiatkowska and Gethin Norman --
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando and Luca Compagna --
Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard J. Trefler --
Bounded Model Checking for Timed Systems / G. Audemard, A. Cimatti, A. Kornilowicz and R. Sebastiani --
C Wolf --
A Toolset for Extracting Models from C Programs / Daniel C. Du Varney and S. Purushothaman Iyer --
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel and Frederic Lang --
Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo --
From States to Transitions: Improving Translation of LTL Fourmulae to Buchi Automata / Dimitra Giannakopoulou and Flavio Lerda --
A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen and Thomas Mailund --
On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet, Francois Vernadat and Bernard Berthomieu --
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle and Sutikshan Bhutani --
Mechanical Translation of I/O Automation Specifications into First-Order Logic / Andrej Bogdanov, Stephen J. Garland and Nancy A. Lynch --
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak and Masahiro Fujita --
A Distributed Partial Order Reduction Algorithm / Robert Palmer and Ganesh Gopalakrishan.
Series Title: Lecture notes in computer science, 2529.
Responsibility: Doron A. Peled, Moshe Y. Vardi (eds.).
More information:

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/50898597> # Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "50898597" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/196448659#Place/berlin> ; # Berlin
   schema:about <http://dewey.info/class/004.0151/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/protocoles_de_reseaux_d_ordinateurs> ; # Protocoles de réseaux d'ordinateurs
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/systeembeheer> ; # Systeembeheer
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/methodes_formelles_informatique> ; # Méthodes formelles (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/computer_network_protocols> ; # Computer network protocols
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/traitement_reparti> ; # Traitement réparti
   schema:about <http://id.worldcat.org/fast/872279> ; # Computer network protocols
   schema:about <http://experiment.worldcat.org/entity/work/data/196448659#Topic/computernetwerken> ; # Computernetwerken
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85346726> ; # Doron A. Peled
   schema:contributor <http://viaf.org/viaf/42887943> ; # Moshe Y. Vardi
   schema:creator <http://experiment.worldcat.org/entity/work/data/196448659#Meeting/forte_2002_2002_houston_tex> ; # FORTE 2002 (2002 : Houston, Tex.)
   schema:datePublished "2002" ;
   schema:description "Encoding PAMR into (Timed) EFSMs / Manuel Nunez and Ismael Rodriguez -- Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann -- Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower and Kenneth S. Stevens -- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang and Karsten Schmidt -- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan Bosnacki -- Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner and Qian Bing -- System Test Synthesis from UML Models of Distributed Software / Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jeron, Jean-Marc Jezequel and Alain Le Guennec -- Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen and Stephan Tobies -- Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec and Kenneth J. Turner -- A Formal Venture into Reliable Multicast Territory / Carolos Livadas and Nancy A. Lynch -- Modelling SIP Services Using CRESS / Kenneth J. Turner -- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjala, Sari Leppanen and Vesa Luukkala -- Verifying Randomized Byzantine Agreement / Marta Kwiatkowska and Gethin Norman -- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando and Luca Compagna -- Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard J. Trefler -- Bounded Model Checking for Timed Systems / G. Audemard, A. Cimatti, A. Kornilowicz and R. Sebastiani -- C Wolf -- A Toolset for Extracting Models from C Programs / Daniel C. Du Varney and S. Purushothaman Iyer -- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel and Frederic Lang -- Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo -- From States to Transitions: Improving Translation of LTL Fourmulae to Buchi Automata / Dimitra Giannakopoulou and Flavio Lerda -- A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen and Thomas Mailund -- On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet, Francois Vernadat and Bernard Berthomieu -- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle and Sutikshan Bhutani -- Mechanical Translation of I/O Automation Specifications into First-Order Logic / Andrej Bogdanov, Stephen J. Garland and Nancy A. Lynch -- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak and Masahiro Fujita -- A Distributed Partial Order Reduction Algorithm / Robert Palmer and Ganesh Gopalakrishan."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/196448659> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/196448659#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings"@en ;
   schema:productID "50898597" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/50898597#PublicationEvent/berlin_new_york_springer_2002> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/196448659#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz101529740inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz101529740kap.htm> ;
   schema:url <http://link.springer.com/10.1007/3-540-36135-9> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2529.htm> ;
   schema:url <http://dx.doi.org/10.1007/3-540-36135-9> ;
   schema:url <http://swbplus.bsz-bw.de/bsz101529740cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540001416> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA307581> ;
   umbel:isLike <http://d-nb.info/965398501> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/50898597> ;
    .


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/196448659#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/50898597> ; # Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/196448659#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/196448659#Topic/methodes_formelles_informatique> # Méthodes formelles (Informatique)
    a schema:Intangible ;
   schema:name "Méthodes formelles (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/196448659#Topic/protocoles_de_reseaux_d_ordinateurs> # Protocoles de réseaux d'ordinateurs
    a schema:Intangible ;
   schema:name "Protocoles de réseaux d'ordinateurs"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/196448659#Topic/traitement_reparti> # Traitement réparti
    a schema:Intangible ;
   schema:name "Traitement réparti"@fr ;
    .

<http://id.worldcat.org/fast/872279> # Computer network protocols
    a schema:Intangible ;
   schema:name "Computer network protocols"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://link.springer.com/10.1007/3-540-36135-9>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2529.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/42887943> # Moshe Y. Vardi
    a schema:Person ;
   schema:familyName "Vardi" ;
   schema:givenName "Moshe Y." ;
   schema:name "Moshe Y. Vardi" ;
    .

<http://viaf.org/viaf/85346726> # Doron A. Peled
    a schema:Person ;
   schema:birthDate "1962" ;
   schema:familyName "Peled" ;
   schema:givenName "Doron A." ;
   schema:name "Doron A. Peled" ;
    .

<http://worldcat.org/isbn/9783540001416>
    a schema:ProductModel ;
   schema:isbn "3540001417" ;
   schema:isbn "9783540001416" ;
    .

<http://www.worldcat.org/title/-/oclc/50898597>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/50898597> ; # Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
   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.