Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540752905, 9783540752929

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebraic Semantics for Compensable Transactions

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_21 ◽

2007 ◽

pp. 306-321 ◽

Author(s):

Jing Li ◽

Huibiao Zhu ◽

Jifeng He

Keyword(s):

Algebraic Semantics

Download Full-text

Verifying Lock-Freedom Using Well-Founded Orders

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_9 ◽

2007 ◽

pp. 124-138 ◽

Author(s):

Robert Colvin ◽

Brijesh Dongol

Download Full-text

Composing Transformations to Optimize Linear Code

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_29 ◽

2007 ◽

pp. 425-439

Author(s):

Thomas Noll ◽

Stefan Rieger

Keyword(s):

Download Full-text

Axiomatizing Extended Temporal Logic Fragments Via Instantiation

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_22 ◽

2007 ◽

pp. 322-336

Author(s):

Wanwei Liu ◽

Ji Wang ◽

Wei Dong ◽

Huowang Chen

Keyword(s):

Download Full-text

A Framework for Incorporating Trust into Formal Systems Development

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_11 ◽

2007 ◽

pp. 154-168 ◽

Author(s):

Fredrik Degerlund ◽

Kaisa Sere

Keyword(s):

Systems Development ◽

Download Full-text

A Complete and Compact Propositional Deontic Logic

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_8 ◽

2007 ◽

pp. 109-123 ◽

Author(s):

Pablo F. Castro ◽

T. S. E. Maibaum

Keyword(s):

Download Full-text

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_3 ◽

2007 ◽

pp. 34-49 ◽

Author(s):

Yinghua Chen ◽

Bican Xia ◽

Lu Yang ◽

Naijun Zhan ◽

Chaochen Zhou

Keyword(s):

Ranking Functions ◽

Algebraic Systems ◽

Download Full-text

Automatic Refinement of Split Binary Semaphore

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_5 ◽

2007 ◽

pp. 64-78

Author(s):

Damián Barsotti ◽

Javier O. Blanco

Download Full-text

Mobile Ambients with Timers and Types

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_4 ◽

2007 ◽

pp. 50-63 ◽

Author(s):

Bogdan Aman ◽

Gabriel Ciobanu

Keyword(s):

Mobile Ambients

Download Full-text

Building Extended Canonizers by Graph-Based Deduction

Theoretical Aspects of Computing – ICTAC 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75292-9_30 ◽

2007 ◽

pp. 440-454

Author(s):

Silvio Ranise ◽

Christelle Scharff

Download Full-text