Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings

Front Cover
Springer Science & Business Media, Aug 18, 2008 - Computers - 454 pages
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited for modelling and analyzing intended computing systems before the expensive c- mitment is made to real programs and hardware. Recent years have seen major improvements in the cost-e?ectiveness of tools supporting the exploitation of theories through proof, model-checking and testing. Against this encouraging background, we are pleased to present papers that show something of the live- ness and diversity of research in theoretical aspects of computing today. ICTAC 2008, the 5th International Colloquium on Theoretical Aspects of Computing, was held on 1-3 September 2008 in Istanbul, Turkey, hosted by - banc? University. The ICTAC series was founded by the International Institute for SoftwareTechnologyof the United Nations University(UNU-IIST). It brings together practitioners and researchers from academia, industry and government to present results and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methodsandtoolsforsystemdevelopment. Theseriesalsopromotescooperation in research and education between participants and their institutions, from - veloping and industrial countries, in accordance with the mandate of the United Nations University. The previous ICTAC colloquia were held in Guiyang, China (2004, LNCS 3407), Hanoi, Vietnam (2005, LNCS 3722), Tunis, Tunisia (2006, LNCS 4281) and Macau SAR, China (2007, LNCS 4711).
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

An EventB Approach
1
A Unified Approach to Abstract Interpretation Formal Verification and Testing of CC++ Modules
3
The Three Platonic Models of DivergenceStrict CSP
23
Monotonic Abstraction in Action
50
Noninterleaving Semantics with Causality for Nondeterministic Dataflow
66
Symbolic Reachability for Process Algebras with Recursive Data Types
81
Inclusion Test Algorithms for OneUnambiguous Regular Expressions
96
Refinement of Kripke Models for Dynamics
111
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
243
Guided Test Generation from CSP Models
258
Relaxing Goodness Is Still Good
274
Benchmarking Model and SatisfiabilityChecking on Biinfinite Time
290
Formal Analysis of Workflows Using UML 20 Activities and Graph Transformation Systems
305
Testing Concurrent Objects with ApplicationSpecific Schedulers
319
A Theory of Bounded Fair Scheduling
334
Fair Exchange Is Incomparable to Consensus
349

MTL Satisfiability over the Integers
126
A Theory of Pointers for the UTP
141
Recasting Constraint Automata intoBuchi Automata
156
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
171
Towards Efficient Verification of Systems with Dynamic Process Creation
186
An Observational Model for Transactional Calculus of Services Orchestration
201
Everything Is PSPACEComplete in Interaction Systems
216
A New Approach for the Construction of Multiway Decision Graphs
228
Automatic Generation of CSP midmid B Skeletons from xUML Models
364
Bounded Model Checking for Partial KripkeStructures
380
Verification of Linear Duration Invariants by Model Checking CTL Properties
395
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
410
Endomorphisms for Nontrivial Nonlinear Loop Invariant Generation
425
Instantiation for Parameterised Boolean Equation Systems
440
Author Index
455
Copyright

Other editions - View all

Common terms and phrases