2. ICTAC 2005:
Hanoi, Vietnam Dang Van Hung , Martin Wirsing (Eds.):
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings.
Lecture Notes in Computer Science 3722 Springer 2005, ISBN 3-540-29107-5 Invited Speakers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rocco De Nicola :
Languages and Process Calculi for Network Aware Programming - Short Summary -.
49-52
export record as
dblp key:
Reiko Heckel :
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks.
53-69
export record as
dblp key:
Formal Languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ictac/SubramanianMD05
Computer Science Logics
export record as
dblp key:
export record as
dblp key:
Linh Anh Nguyen :
An SLD-Resolution Calculus for Basic Serial Multimodal Logics.
151-165
export record as
dblp key:
Program Construction
export record as
dblp key:
Tran Van Dung :
On the Stability Semantics of Combinational Programs.
180-194
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Real-Time Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Concurrency and Refinement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Security
export record as
dblp key:
Fausto Spoto :
Information Flow Is Linear Refinement of Constancy.
351-365
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ictac/Delporte-GalletFF05
Quantitative Logics
export record as
dblp key:
export record as
dblp key:
Manas Patra :
A Logic for Quantum Circuits and Protocols.
424-438
export record as
dblp key:
Orieta Celiku :
Quantitative Temporal Logic Mechanized in HOL.
439-453
export record as
dblp key:
Object-Orientation and Component Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model-Checking and Algorithms
export record as
dblp key:
export record as
dblp key:
Antti Puhakka :
Using Fairness Constraints in Process-Algebraic Verification.
546-561
export record as
dblp key:
Applied Logics and Computing Theory
export record as
dblp key:
export record as
dblp key:
Tutorials
export record as
dblp key:
data released under the ODC-BY 1.0 license
