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

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540291077, 9783540320722

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems

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

10.1007/11560647_35 ◽

2005 ◽

pp. 532-545 ◽

Author(s):

Jan Friso Groote ◽

Misa Keinänen

Keyword(s):

Boolean Equation

Download Full-text

Quantitative Temporal Logic Mechanized in HOL

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

10.1007/11560647_29 ◽

2005 ◽

pp. 439-453 ◽

Author(s):

Orieta Celiku

Keyword(s):

Download Full-text

Covarieties of Coalgebras: Comonads and Coequations

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

10.1007/11560647_19 ◽

2005 ◽

pp. 288-302 ◽

Author(s):

Ranald Clouston ◽

Robert Goldblatt

Download Full-text

Revisiting Failure Detection and Consensus in Omission Failure Environments

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

10.1007/11560647_26 ◽

2005 ◽

pp. 394-408 ◽

Author(s):

Carole Delporte-Gallet ◽

Hugues Fauconnier ◽

Felix C. Freiling

Keyword(s):

Failure Detection

Download Full-text

The Timer Cascade: Functional Modelling and Real Time Calculi

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

10.1007/11560647_16 ◽

2005 ◽

pp. 242-256

Author(s):

Raymond Boute ◽

Andreas Schäfer

Keyword(s):

Real Time ◽

Functional Modelling

Download Full-text

Upside-Down Transformation in SOL/Connection Tableaux and Its Application

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

10.1007/11560647_11 ◽

2005 ◽

pp. 166-179

Author(s):

Koji Iwanuma ◽

Katsumi Inoue ◽

Hidetomo Nabeshima

Download Full-text

Information Flow Is Linear Refinement of Constancy

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

10.1007/11560647_23 ◽

2005 ◽

pp. 351-365 ◽

Author(s):

Fausto Spoto

Keyword(s):

Information Flow

Download Full-text

A Robust Interpretation of Duration Calculus

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

10.1007/11560647_17 ◽

2005 ◽

pp. 257-271 ◽

Author(s):

Martin Fränzle ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Externalized and Internalized Notions of Behavioral Refinement

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

10.1007/11560647_22 ◽

2005 ◽

pp. 334-350 ◽

Author(s):

Michel Bidoit ◽

Rolf Hennicker

Download Full-text

On Cool Congruence Formats for Weak Bisimulations

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

10.1007/11560647_21 ◽

2005 ◽

pp. 318-333 ◽

Author(s):

Rob Jan van Glabbeek

Download Full-text