Titlebook: SOFSEM 2017: Theory and Practice of Computer Science; 43rd International C Bernhard Steffen,Christel Baier,Tiziana Margaria Conference proc

Gastric

eustachian-tube

Conference proceedings 2017SEM 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

缩减了

好忠告人

NOMAD

Deciding Structural Liveness of Petri NetsEsparza, 2016) emphasizes. Here we show that the structural liveness problem for Petri nets is decidable..A crucial ingredient of the proof is the result by Leroux (LiCS 2013) showing that we can compute a finite (Presburger) description of the reachability set for a marked Petri net if this set is semilinear.

Intuitive

Hardness of Deriving Invertible Sequences from Finite State Machineshat take state set . to state set .. We prove that the first two problems are NP-complete and the third is PSPACE-complete. These results imply that we should investigate heuristics for these problems.

apropos

GUMP

rheumatology

A Graph-Theoretical Characterisation of State Separationng state separation problems. Linear inequation systems can be used in order to check the solvability of these separation problems. In the present paper, the class of finite labelled transition systems in which all state separation problems are solvable shall be characterised graph-theoretically, rather than linear-algebraically.

大方不好

Logical Characterisations and Compositionality of Input-Output Conformance Simulationfor . proposed by Beohar and Mousavi. A precongruence rule format for . and a rule format ensuring that operations take quiescence properly into account are also given. Both rule formats are based on the GSOS format by Bloom, Istrail and Meyer.