Skip to main content
Springer Nature Link
Log in

SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Bernhard Steffen

    1. TU Dortmund , Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christel Baier

    1. TU Dresden , Dresden, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mark van den Brand

    1. Eindhoven University of Technology , Eindhoven, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Johann Eder

    1. Alpen Adria University Klagenfurt , Klagenfurt, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Mike Hinchey

    1. Lero - Irish Software Research Center , Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. Tiziana Margaria

    1. Lero - Irish Software Research Center , Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10139)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

Similar content being viewed by others

Keywords

Table of contents (40 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Foundations in Computer Science

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Dependable and Optimal Cyber-Physical Systems

      • Kim Guldstrand Larsen
      Pages 3-10

    3. Verifying Parametric Thread Creation

      • Igor Walukiewicz
      Pages 11-14

    4. Network Constructors: A Model for Programmable Matter

      • Othon Michail, Paul G. Spirakis
      Pages 15-34

  3. Semantics, Specification and Compositionality

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Logical Characterisations and Compositionality of Input-Output Conformance Simulation

      • Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
      Pages 37-48

    3. A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

      • Uli Fahrenberg, Axel Legay
      Pages 49-61

    4. Symbolic Semantics for Multiparty Interactions in the Link-Calculus

      • Linda Brodo, Carlos Olarte
      Pages 62-75

  4. Theory of Mobile and Distributed Systems

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs

      • Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, Felipe Ramírez
      Pages 79-90

    3. Deciding Structural Liveness of Petri Nets

      • Petr Jančar
      Pages 91-102

    4. Distributed Network Generation Based on Preferential Attachment in ABS

      • Keyvan Azadbakht, Nikolaos Bezirgiannis, Frank S. de Boer
      Pages 103-115

  5. Verification and Automated System Analysis

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Completeness of Hoare Logic Relative to the Standard Model

      • Zhaowei Xu, Wenhui Zhang, Yuefei Sui
      Pages 119-131

    3. Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict

      • Eike Best, Nataliya Gribovskaya, Irina Virbitskaite
      Pages 132-146

    4. Hardness of Deriving Invertible Sequences from Finite State Machines

      • Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker
      Pages 147-160

  6. Petri Nets, Games and Relaxed Data Structures

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. A Graph-Theoretical Characterisation of State Separation

      • Eike Best, Raymond Devillers, Uli Schlachter
      Pages 163-175

    3. Selfish Transportation Games

      • Dimitris Fotakis, Laurent Gourvès, Jérôme Monnot
      Pages 176-187
Back to top

Other volumes

  1. SOFSEM 2017: Theory and Practice of Computer Science

Editors and Affiliations

  • TU Dortmund , Dortmund, Germany

    Bernhard Steffen

  • TU Dresden , Dresden, Germany

    Christel Baier

  • Eindhoven University of Technology , Eindhoven, The Netherlands

    Mark van den Brand

  • Alpen Adria University Klagenfurt , Klagenfurt, Austria

    Johann Eder

  • Lero - Irish Software Research Center , Limerick, Ireland

    Mike Hinchey, Tiziana Margaria

Bibliographic Information

Publish with us

Policies and ethics

Back to top