↓ Skip to main content

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

Overview of attention for book
Cover of 'Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verifying a Hotel Key Card System
  3. Altmetric Badge
    Chapter 2 Z/Eves and the Mondex Electronic Purse
  4. Altmetric Badge
    Chapter 3 Verification Constraint Problems with Strengthening
  5. Altmetric Badge
    Chapter 4 Quantitative μ-Calculus Analysis of Power Management in Wireless Networks
  6. Altmetric Badge
    Chapter 5 Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa
  7. Altmetric Badge
    Chapter 6 A Topological Approach of the Web Classification
  8. Altmetric Badge
    Chapter 7 Bisimulation Congruences in the Calculus of Looping Sequences
  9. Altmetric Badge
    Chapter 8 Theoretical Aspects of Computing - ICTAC 2006
  10. Altmetric Badge
    Chapter 9 A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
  11. Altmetric Badge
    Chapter 10 A Petri Net Translation of π -Calculus Terms
  12. Altmetric Badge
    Chapter 11 Handling Algebraic Properties in Automatic Analysis of Security Protocols
  13. Altmetric Badge
    Chapter 12 A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
  14. Altmetric Badge
    Chapter 13 Thread-Modular Verification Is Cartesian Abstract Interpretation
  15. Altmetric Badge
    Chapter 14 Capture-Avoiding Substitution as a Nominal Algebra
  16. Altmetric Badge
    Chapter 15 Prime Decomposition Problem for Several Kinds of Regular Codes
  17. Altmetric Badge
    Chapter 16 A New Approach to Determinisation Using Bit-Parallelism
  18. Altmetric Badge
    Chapter 17 Proving ATL* Properties of Infinite-State Systems
  19. Altmetric Badge
    Chapter 18 Type Safety for FJ and FGJ
  20. Altmetric Badge
    Chapter 19 Partizan Games in Isabelle/HOLZF
  21. Altmetric Badge
    Chapter 20 Proof-Producing Program Analysis
  22. Altmetric Badge
    Chapter 21 Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting
  23. Altmetric Badge
    Chapter 22 Interesting Properties of the Real-Time Conformance Relation tioco
  24. Altmetric Badge
    Chapter 23 Model Checking Duration Calculus: A Practical Approach
  25. Altmetric Badge
    Chapter 24 Spatio-temporal Model Checking for Mobile Real-Time Systems
  26. Altmetric Badge
    Chapter 25 Tutorial on Formal Methods for Distributed and Cooperative Systems
  27. Altmetric Badge
    Chapter 26 Decision Procedures for the Formal Analysis of Software
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
11 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings
Published by
Springer, January 2006
DOI 10.1007/11921240
ISBNs
978-3-54-048815-6, 978-3-54-048816-3
Authors

Barkaoui, Kamel, Cavalcanti, Ana, Cerone, Antonio

Editors

Barkaoui, Kamel, Cavalcanti, Ana, Cerone, Antonio

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 9%
Portugal 1 9%
Italy 1 9%
Unknown 8 73%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 18%
Student > Bachelor 1 9%
Professor 1 9%
Lecturer > Senior Lecturer 1 9%
Student > Master 1 9%
Other 3 27%
Unknown 2 18%
Readers by discipline Count As %
Computer Science 8 73%
Unknown 3 27%