Ebook: Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

The 29 revised full papers presented together with 3 invited talks and summaries of 2 tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing such as automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement, and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed, and internet-based (grid) computing, simulation and modeling, and service-oriented development.

---

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

The 29 revised full papers presented together with three invited talks and summaries of two tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing. Topics covered include automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed and internet-based (grid) computing, simulation and modeling, and service-oriented development.

---

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

The 29 revised full papers presented together with three invited talks and summaries of two tutorials were carefully reviewed and selected from 69 submissions. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing. Topics covered include automata theory and formal languages, principles and semantics of programming languages, software architectures and their description languages, software specification, refinement and verification, model checking and theorem proving, real-time, embedded and hybrid systems, theory of parallel, distributed and internet-based (grid) computing, simulation and modeling, and service-oriented development.

Content:
Front Matter....Pages -
Domain Theory: Practice and Theories A Discussion of Possible Research Topics....Pages 1-17
Linking Semantic Models....Pages 18-33
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems....Pages 34-49
Mobile Ambients with Timers and Types....Pages 50-63
Automatic Refinement of Split Binary Semaphore....Pages 64-78
Stepwise Development of Simulink Models Using the Refinement Calculus Framework....Pages 79-93
Bisimulations for a Distributed Higher Order ?-Calculus....Pages 94-108
A Complete and Compact Propositional Deontic Logic....Pages 109-123
Verifying Lock-Freedom Using Well-Founded Orders....Pages 124-138
Tree Components Programming: An Application to XML....Pages 139-153
A Framework for Incorporating Trust into Formal Systems Development....Pages 154-168
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees....Pages 169-184
Distributed Time-Asynchronous Automata....Pages 185-200
Skolem Machines and Geometric Logic....Pages 201-215
A Logical Calculus for Modelling Interferences....Pages 216-230
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations....Pages 231-245
Controlling Process Modularity in Mobile Computing....Pages 246-259
Failures: Their Definition, Modelling and Analysis....Pages 260-274
Regular Linear Temporal Logic....Pages 275-290
Algebraic Semantics for Compensable Transactions....Pages 291-305
Axiomatizing Extended Temporal Logic Fragments Via Instantiation....Pages 306-321
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau....Pages 322-336
Linear Context Free Languages....Pages 337-350
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems....Pages 351-365
On Equality Predicates in Algebraic Specification Languages....Pages 366-380
Data-Distributions in PowerList Theory....Pages 381-395
Quasi-interpretation Synthesis by Decomposition....Pages 396-409
Composing Transformations to Optimize Linear Code....Pages 410-424
Building Extended Canonizers by Graph-Based Deduction....Pages 425-439
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model....Pages 440-454
On the Expressive Power of QLTL....Pages 455-466
Back Matter....Pages 467-481
....Pages -