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

Verifying Lock-Freedom Using Well-Founded Orders

2007 ◽  
pp. 124-138 ◽  
Author(s):  
Robert Colvin ◽  
Brijesh Dongol

Composing Transformations to Optimize Linear Code

2007 ◽  
pp. 425-439
Author(s):  
Thomas Noll ◽  
Stefan Rieger
Keyword(s):  
Linear Code

Axiomatizing Extended Temporal Logic Fragments Via Instantiation

2007 ◽  
pp. 322-336
Author(s):  
Wanwei Liu ◽  
Ji Wang ◽  
Wei Dong ◽  
Huowang Chen
Keyword(s):  
Temporal Logic

Algebraic Semantics for Compensable Transactions

2007 ◽  
pp. 306-321 ◽  
Author(s):  
Jing Li ◽  
Huibiao Zhu ◽  
Jifeng He
Keyword(s):  
Algebraic Semantics

A Complete and Compact Propositional Deontic Logic

2007 ◽  
pp. 109-123 ◽  
Author(s):  
Pablo F. Castro ◽  
T. S. E. Maibaum
Keyword(s):  
Deontic Logic

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

2007 ◽  
pp. 34-49 ◽  
Author(s):  
Yinghua Chen ◽  
Bican Xia ◽  
Lu Yang ◽  
Naijun Zhan ◽  
Chaochen Zhou
Keyword(s):  
Ranking Functions ◽  
Algebraic Systems ◽  
Non Linear

Automatic Refinement of Split Binary Semaphore

2007 ◽  
pp. 64-78
Author(s):  
Damián Barsotti ◽  
Javier O. Blanco

Mobile Ambients with Timers and Types

2007 ◽  
pp. 50-63 ◽  
Author(s):  
Bogdan Aman ◽  
Gabriel Ciobanu
Keyword(s):  
Mobile Ambients

Building Extended Canonizers by Graph-Based Deduction

2007 ◽  
pp. 440-454
Author(s):  
Silvio Ranise ◽  
Christelle Scharff
Load More ...
Sign in / Sign up

Export Citation Format

Share Document