3 research outputs found
Linear equations for unordered data vectors in
Following a recently considered generalisation of linear equations to
unordered-data vectors and to ordered-data vectors, we perform a further
generalisation to data vectors that are functions from k-element subsets of the
unordered-data set to vectors of integer numbers. These generalised equations
naturally appear in the analysis of vector addition systems (or Petri nets)
extended so that each token carries a set of unordered data. We show that
nonnegative-integer solvability of linear equations is in nondeterministic
exponential time while integer solvability is in polynomial time
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science