4. ICTAC 2007:
Macau,
China
Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.):
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings.
Lecture Notes in Computer Science 4711 Springer 2007, ISBN 978-3-540-75290-5 BibTeX
- Dines Bjørner:
Domain Theory: Practice and Theories A Discussion of Possible Research Topics.
1-17
Electronic Edition (link) BibTeX
- Jifeng He:
Linking Semantic Models.
18-33
Electronic Edition (link) BibTeX
- Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou:
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.
34-49
Electronic Edition (link) BibTeX
- Bogdan Aman, Gabriel Ciobanu:
Mobile Ambients with Timers and Types.
50-63
Electronic Edition (link) BibTeX
- Damián Barsotti, Javier O. Blanco:
Automatic Refinement of Split Binary Semaphore.
64-78
Electronic Edition (link) BibTeX
- Pontus Boström, Lionel Morel, Marina A. Waldén:
Stepwise Development of Simulink Models Using the Refinement Calculus Framework.
79-93
Electronic Edition (link) BibTeX
- Zining Cao:
Bisimulations for a Distributed Higher Order pi -Calculus.
94-108
Electronic Edition (link) BibTeX
- Pablo F. Castro, T. S. E. Maibaum:
A Complete and Compact Propositional Deontic Logic.
109-123
Electronic Edition (link) BibTeX
- Robert Colvin, Brijesh Dongol:
Verifying Lock-Freedom Using Well-Founded Orders.
124-138
Electronic Edition (link) BibTeX
- Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo:
Tree Components Programming: An Application to XML.
139-153
Electronic Edition (link) BibTeX
- Fredrik Degerlund, Kaisa Sere:
A Framework for Incorporating Trust into Formal Systems Development.
154-168
Electronic Edition (link) BibTeX
- Rafael del Vado Vírseda:
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.
169-184
Electronic Edition (link) BibTeX
- Catalin Dima, Ruggero Lanotte:
Distributed Time-Asynchronous Automata.
185-200
Electronic Edition (link) BibTeX
- John Fisher, Marc Bezem:
Skolem Machines and Geometric Logic.
201-215
Electronic Edition (link) BibTeX
- Christophe Fouqueré:
A Logical Calculus for Modelling Interferences.
216-230
Electronic Edition (link) BibTeX
- Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig:
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations.
231-245
Electronic Edition (link) BibTeX
- Takashi Kitamura, Huimin Lin:
Controlling Process Modularity in Mobile Computing.
246-259
Electronic Edition (link) BibTeX
- Brian Randell, Maciej Koutny:
Failures: Their Definition, Modelling and Analysis.
260-274
Electronic Edition (link) BibTeX
- Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
C-clock-WS: A Timed Service-Oriented Calculus.
275-290
Electronic Edition (link) BibTeX
- Martin Leucker, César Sánchez:
Regular Linear Temporal Logic.
291-305
Electronic Edition (link) BibTeX
- Jing Li, Huibiao Zhu, Jifeng He:
Algebraic Semantics for Compensable Transactions.
306-321
Electronic Edition (link) BibTeX
- Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen:
Axiomatizing Extended Temporal Logic Fragments Via Instantiation.
322-336
Electronic Edition (link) BibTeX
- Xinxin Liu, Haiyan Chen:
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau.
337-350
Electronic Edition (link) BibTeX
- Roussanka Loukanova:
Linear Context Free Languages.
351-365
Electronic Edition (link) BibTeX
- Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio:
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
366-380
Electronic Edition (link) BibTeX
- Masaki Nakamura, Kokichi Futatsugi:
On Equality Predicates in Algebraic Specification Languages.
381-395
Electronic Edition (link) BibTeX
- Virginia Niculescu:
Data-Distributions in PowerList Theory.
396-409
Electronic Edition (link) BibTeX
- Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux:
Quasi-interpretation Synthesis by Decomposition.
410-424
Electronic Edition (link) BibTeX
- Thomas Noll, Stefan Rieger:
Composing Transformations to Optimize Linear Code.
425-439
Electronic Edition (link) BibTeX
- Silvio Ranise, Christelle Scharff:
Building Extended Canonizers by Graph-Based Deduction.
440-454
Electronic Edition (link) BibTeX
- K. Subramani:
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.
455-466
Electronic Edition (link) BibTeX
- Zhilin Wu:
On the Expressive Power of QLTL.
467-481
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:21:49 2009
by Michael Ley (ley@uni-trier.de)