Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
43
views
0
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,549
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Theoretical Aspects of Computing – ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
other
Editor(s):
Dang Van Hung
,
Martin Wirsing
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Electronic Workshops in Computing (eWiC)
Author and book information
Book
ISBN (Print):
978-3-540-29107-7
ISBN (Electronic):
978-3-540-32072-2
Publication date (Print):
2005
DOI:
10.1007/11560647
SO-VID:
4e4c431e-357a-43b5-b99d-b9eaf2ab690d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
A Rewriting Logic Sampler
pp. 29
Codes and Length-Increasing Transitive Binary Relations
pp. 49
Languages and Process Calculi for Network Aware Programming – Short Summary -
pp. 53
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
pp. 70
Component-Based Software Engineering
pp. 96
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition
pp. 110
Solving First Order Formulae of Pseudo-Regular Theory
pp. 125
Splicing Array Grammar Systems
pp. 136
Compositionality of Fixpoint Logic with Chop
pp. 151
An SLD-Resolution Calculus for Basic Serial Multimodal Logics
pp. 166
Upside-Down Transformation in SOL/Connection Tableaux and Its Application
pp. 180
On the Stability Semantics of Combinational Programs
pp. 195
Generating C Code from LOGS Specifications
pp. 211
Formalizing the Debugging Process in Haskell
pp. 227
Finding Resource Bounds in the Presence of Explicit Deallocation
pp. 242
The Timer Cascade: Functional Modelling and Real Time Calculi
pp. 257
A Robust Interpretation of Duration Calculus
pp. 272
Symbolic Model Checking of Finite Precision Timed Automata
pp. 288
Covarieties of Coalgebras: Comonads and Coequations
pp. 303
Linking Theories of Concurrency
pp. 318
On Cool Congruence Formats for Weak Bisimulations
pp. 334
Externalized and Internalized Notions of Behavioral Refinement
pp. 351
Information Flow Is Linear Refinement of Constancy
pp. 366
On Typing Information Flow
pp. 381
Representation and Reasoning on RBAC: A Description Logic Approach
pp. 394
Revisiting Failure Detection and Consensus in Omission Failure Environments
pp. 409
Congruences and Bisimulations for Continuous-Time Stochastic Logic
pp. 424
A Logic for Quantum Circuits and Protocols
pp. 439
Quantitative Temporal Logic Mechanized in HOL
pp. 454
Weak Stochastic Bisimulation for Non-markovian Processes
pp. 469
On Refinement of Software Architectures
pp. 485
POST: A Case Study for an Incremental Development in rCOS
pp. 501
Implementing Application-Specific Object-Oriented Theories in HOL
pp. 517
Constructing Open Systems via Consistent Components
pp. 532
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems
pp. 546
Using Fairness Constraints in Process-Algebraic Verification
pp. 562
Maximum Marking Problems with Accumulative Weight Functions
pp. 579
Toward an Abstract Computer Virology
pp. 594
On Superposition-Based Satisfiability Procedures and Their Combination
pp. 609
A Summary of the Tutorials at ICTAC 2005
Similar content
2,549
ICTAC kinetics committee recommendations for performing kinetic computations on thermal analysis data
Authors:
S Vyazovkina
,
AK Burnhamb
,
JM Criadoc
…
A review of the ICTAC Kinetics Project Part Isothermal results
Authors:
Dickinson
Theoretical Aspects of Computing - ICTAC 2008
Authors:
John S Fitzgerald
,
Anne Haxthausen
,
Hüsnü Yenigün
See all similar
Cited by
2
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
Authors:
Tim A. C. Willemse
,
Maciej Gazda
Keep it Fair: Equivalences
Authors:
Tobias Prehn
,
Stephan Mennicke
See all cited by