skip to content
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings Preview this item
ClosePreview this item
Checking...

Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Author: Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 4281.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ICTAC 2006 held in Tunis, Tunisia in November 2006. The 21 revised full  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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
ISBN: 9783540488156 3540488154
OCLC Number: 76817984
Description: xv, 370 pages : illustrations ; 24 cm.
Contents: Verifying a hotel key card system / Tobias Nipkow --
Z/Eves and the mondex electronic purse / Jim Woodcock and Leo Freitas --
Verification constraint problems with strengthening / Aaron Bradley and Zohar Manna --
Quantitative [mu]-calculus analysis of power management in wireless networks / Annabelle McIver --
Termination and divergence are undecidable under a maximum progress multi-step semantics for LinCa / Mila Majster-Cederbaum and Christoph Minnameier --
A topological approach of the Web classification / Gabriel Ciobanu and Danut Rusu --
Bisimulation congruences in the calculus of looping sequences / Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo and Angelo Troina --
Stronger reduction criteria for local first search / Marcos Kurban, Peter Niebert, Hongyang Qu and Walter Vogler --
A lattice-theoretic model for an algebra of communicating sequential processes / Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield and Arthur Hughes --
A petri net translation of [pi]-calculus terms / Raymond Devillers, Hanna Klaudel and Maciej Koutny --
Handling algebraic properties in automatic analysis of security protocols / Yohan Boichut, Pierre-Cyrille Heam and Olga Kouchnarenko --
A compositional algorithm for parallel model checking of polygonal hybrid systems / Gordon Pace and Gerardo Schneider --
Thread-modular verification is cartesian abstract interpretation / Alexander Malkis, Andreas Podelski and Andrey Rybalchenko --
Capture-avoiding substitution as a nominal algebra / Murdoch Gabbay and Aad Mathijssen --
Prime decomposition problem for several kinds of regular codes / Kieu Van Hung and Do Long Van --
A new approach to determinisation using bit-parallelism / Jan Supol and Borivoj Melichar --
Proving ATL* properties of infinite-state systems / Matteo Slanina, Henny Sipma and Zohar Manna --
Type safety for FJ and FGJ / Shuling Wang, Quan Long and Zongyan Qiu --
Partizan games in Isabelle/HOLZF / Steven Obua --
Proof-producing program analysis / Amine Chaieb --
Reachability analysis of mobile ambients in fragments of AC term rewriting / Giorgio Delzanno and Roberto Montagna --
Interesting properties of the real-time conformance relation tioco / Moez Krichen and Stavros Tripakis --
Model checking duration calculus : a practical approach / Roland Meyer, Johannes Faber and Andrey Rybalchenko --
Spatio-temporal model checking for mobile real-time systems / Jan-David Quesel and Andreas Schafer --
Tutorial on formal methods for distributed and cooperative systems / Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci and Yann Thierry-Mieg --
Decision procedures for the formal analysis of software / David Deharbe, Pascal Fontaine, Silvio Ranise and Christophe Ringeissen.
Series Title: Lecture notes in computer science, 4281.
Other Titles: ICTAC 2006
Responsibility: Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.).
More information:

Reviews

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

Tags

Be the first.

Similar Items

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/76817984> # Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "76817984" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/290358636#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/290358636#Topic/electronic_data_processing> ; # Electronic data processing
   schema:about <http://dewey.info/class/004/e22/> ;
   schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
   schema:about <http://experiment.worldcat.org/entity/work/data/290358636#Topic/information_theory> ; # Information theory
   schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
   schema:alternateName "ICTAC 2006" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/57776583> ; # Ana Cavalcanti
   schema:contributor <http://viaf.org/viaf/29057199> ; # Antonio Cerone
   schema:contributor <http://viaf.org/viaf/85191633> ; # Kamel Barkaoui
   schema:copyrightYear "2006" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/290358636#Meeting/ictac_colloquium_3rd_2006_tunis_tunisia> ; # ICTAC (Colloquium) (3rd : 2006 : Tunis, Tunisia)
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/290358636> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings"@en ;
   schema:productID "76817984" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/76817984#PublicationEvent/berlin_new_york_springer_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/290358636#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/11921240> ;
   schema:url <http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4281> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy0709/2006935418.html> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4281> ;
   schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4281> ;
   schema:workExample <http://worldcat.org/isbn/9783540488156> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/76817984> ;
    .


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/290358636#Meeting/ictac_colloquium_3rd_2006_tunis_tunisia> # ICTAC (Colloquium) (3rd : 2006 : Tunis, Tunisia)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/290358636#Place/tunis_tunisia> ; # Tunis, Tunisia)
   schema:name "ICTAC (Colloquium) (3rd : 2006 : Tunis, Tunisia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/290358636#Place/tunis_tunisia> # Tunis, Tunisia)
    a schema:Place ;
   schema:name "Tunis, Tunisia)" ;
    .

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

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

<http://mutex.gmu.edu/login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4281>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://viaf.org/viaf/29057199> # Antonio Cerone
    a schema:Person ;
   schema:familyName "Cerone" ;
   schema:givenName "Antonio" ;
   schema:name "Antonio Cerone" ;
    .

<http://viaf.org/viaf/57776583> # Ana Cavalcanti
    a schema:Person ;
   schema:familyName "Cavalcanti" ;
   schema:givenName "Ana" ;
   schema:name "Ana Cavalcanti" ;
    .

<http://viaf.org/viaf/85191633> # Kamel Barkaoui
    a schema:Person ;
   schema:familyName "Barkaoui" ;
   schema:givenName "Kamel" ;
   schema:name "Kamel Barkaoui" ;
    .

<http://worldcat.org/isbn/9783540488156>
    a schema:ProductModel ;
   schema:isbn "3540488154" ;
   schema:isbn "9783540488156" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/76817984> ; # Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/76817984>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/76817984> ; # Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : 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.