Logic in Computer Science

Authors and titles for October 2010

[1] arXiv:1010.0201 [pdf, other]

Title: The complexity of global cardinality constraints

Andrei A. Bulatov (Simon Fraser University), Daniel Marx (Tel Aviv University)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (October 27, 2010) lmcs:1025

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1010.0225 [pdf, other]

Title: Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic

Andreas Witzel

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1010.1066 [pdf, other]

Title: An Explicit Framework for Interaction Nets

Marc de Falco (CNRS)

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (December 12, 2010) lmcs:1108

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1010.1139 [pdf, other]

Title: Temporal Logics on Words with Multiple Data Values

Ahmet Kara, Thomas Schwentick, Thomas Zeume

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:1010.1872 [pdf, other]

Title: Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

Silvio Ghilardi (Dipartimento di Scienze dell'Informazione, Univ. degli Studi di Milano (Italy)), Silvio Ranise (FBK-Irst, Trento (Italy))

Comments: Accepted for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 6, Issue 4 (December 21, 2010) lmcs:966

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1010.2287 [pdf, other]

Title: Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols

Omar I. Al-Bataineh, Ron van der Meyden

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[7] arXiv:1010.2595 [pdf, other]

Title: Kolmogorov Complexity in perspective. Part II: Classification, Information Processing and Duality

Marie Ferbus-Zanda (LIAFA)

Comments: 43 pages

Journal-ref: Synthese / Synth\`ese (2010) 00

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Information Theory (cs.IT); Data Analysis, Statistics and Probability (physics.data-an)

[8] arXiv:1010.2597 [pdf, other]

Title: ASMs and Operational Algorithmic Completeness of Lambda Calculus

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 37 pages

Journal-ref: Lecture notes in computer science LNCS 6300 (2010) 00

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)

[9] arXiv:1010.3201 [pdf, other]

Title: Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes

Marie Ferbus-Zanda (LIAFA), Serge Grigorieff (LIAFA)

Comments: 40 pages

Journal-ref: Synthese / Synth\`ese (2010) 00

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Information Theory (cs.IT)

[10] arXiv:1010.3674 [pdf, other]

Title: Short-circuit logic

Jan A. Bergstra, A. Ponse, D.J.C. Staudt

Comments: 59 pages, 7 tables, 3 figures; Daan Staudt is added as an extra author; normal forms for FSCL are defined and completeness of its axiomatization is proved

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[11] arXiv:1010.4422 [pdf, other]

Title: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

Alberto Griggio (FBK-Irst, Trento, Italy), Thi Thieu Hoa Le (DISI, University of Trento, Italy), Roberto Sebastiani (DISI, University of Trento, Italy)

Journal-ref: Logical Methods in Computer Science, Volume 8, Issue 3 (August 10, 2012) lmcs:1033

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1010.4529 [pdf, other]

Title: The Last Paper on the Halpern-Shoham Interval Temporal Logic

Jerzy Marcinkowski, Jakub Michaliszyn

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1010.4953 [pdf, other]

Title: Equivalence Checking in Embedded Systems Design Verification using PRES+ model

Soumyadip Bandyopadhyay

Comments: i want to replace the previous report, arXiv:1007.2131, by this report

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[14] arXiv:1010.5308 [pdf, other]

Title: Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction

Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva

Journal-ref: EPTCS 38, 2010

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[15] arXiv:1010.5565 [pdf, other]

Title: Port Protocols for Deadlock-Freedom of Component Systems

Christian Lambertz (University of Mannheim), Mila Majster-Cederbaum (University of Mannheim)

Comments: In Proceedings ICE 2010, arXiv:1010.5308

Journal-ref: EPTCS 38, 2010, pp. 7-11

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1010.5571 [pdf, other]

Title: An Introduction to Time-Constrained Automata

Matthieu Lemerre (CEA LIST), Vincent David (CEA LIST), Christophe Aussaguès (CEA LIST), Guy Vidal-Naquet (SUPELEC)

Comments: In Proceedings ICE 2010, arXiv:1010.5308

Journal-ref: EPTCS 38, 2010, pp. 83-98

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Operating Systems (cs.OS); Software Engineering (cs.SE)

[17] arXiv:1010.5572 [pdf, other]

Title: A theory of desynchronisable closed loop system

Harsh Beohar (TU/e), Pieter Cuijpers (TU/e)

Comments: In Proceedings ICE 2010, arXiv:1010.5308

Journal-ref: EPTCS 38, 2010, pp. 99-114

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1010.5665 [pdf, other]

Title: Safety-Guarantee Controller Synthesis for Cyber-Physical Systems

Pritam Roy, Paulo Tabuada, Rupak Majumdar

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1010.1602 (cross-list from cs.SE) [pdf, other]

Title: Automatic Verification of Parametric Specifications with Complex Topologies

Johannes Faber, Carsten Ihlemann (MPII), Swen Jacobs (EPFL), Viorica Sofronie-Stokkermans (MPII)

Comments: The original publication is available at this http URL

Journal-ref: Integrated Formal Methods - IFM 2010, Nancy : France (2010)

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[20] arXiv:1010.2396 (cross-list from math.LO) [pdf, other]

Title: N^N^N does not satisfy Normann's condition

Matthias Schroeder

Comments: 10 pages

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[21] arXiv:1010.2420 (cross-list from cs.CC) [pdf, other]

Title: The surprizing complexity of generalized reachability games

Nathanaël Fijalkow (LIAFA), Florian Horn (LIAFA)

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[22] arXiv:1010.2826 (cross-list from cs.SE) [pdf, other]

Title: Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Meriem Ouederni (University of Malaga, Spain), Gwen Salaün (Grenoble INP, INRIA-Grenoble, LIG)

Comments: In Proceedings WCSI 2010, arXiv:1010.2337

Journal-ref: EPTCS 37, 2010, pp. 57-70

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[23] arXiv:1010.3039 (cross-list from math.LO) [pdf, other]

Title: Closure properties of predicates recognized by deterministic and non-deterministic asynchronous automata

Maria Monks

Comments: 22 pages, 3 figures

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Group Theory (math.GR)

[24] arXiv:1010.4423 (cross-list from cs.PL) [pdf, other]

Title: Towards A Shape Analysis for Graph Transformation Systems

Dominik Steenken (1), Heike Wehrheim (1), Daniel Wonisch (1) ((1) University of Paderborn)

Comments: 17 pages, 7 figures, 1 table

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[25] arXiv:1010.4672 (cross-list from cs.SY) [pdf, other]

Title: Controller Synthesis for Safety and Reachability via Approximate Bisimulation

Antoine Girard

Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[26] arXiv:1010.4786 (cross-list from cs.CR) [pdf, other]

Title: Blocking Underhand Attacks by Hidden Coalitions (Extended Version)

Matteo Cristani, Erisa Karafili, Luca Viganò

Comments: 13 pages, short version in Proceedings of ICAART 2011

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[27] arXiv:1010.5566 (cross-list from cs.PL) [pdf, other]

Title: A Graphical Approach to Progress for Structured Communication in Web Services

Marco Carbone (IT University of Copenhagen), Søren Debois (IT University of Copenhagen)

Comments: In Proceedings ICE 2010, arXiv:1010.5308

Journal-ref: EPTCS 38, 2010, pp. 13-27

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI)

[28] arXiv:1010.5570 (cross-list from cs.PL) [pdf, other]

Title: Primitives for Contract-based Synchronization

Massimo Bartoletti (Dipartimento di Matematica e Informatica, Università degli Studi di Cagliari), Roberto Zunino (Dipartimento di Ingegneria e Scienza dell'Informazione, Università degli studi di Trento)

Comments: In Proceedings ICE 2010, arXiv:1010.5308

Journal-ref: EPTCS 38, 2010, pp. 67-82

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[29] arXiv:1010.6112 (cross-list from cs.FL) [pdf, other]

Title: Proceedings 12th International Workshop on Verification of Infinite-State Systems

Yu-Fang Chen (Academia Sinica, Taiwan), Ahmed Rezine (Uppsala University, Sweden)

Journal-ref: EPTCS 39, 2010

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)