Vector addition system reachability problem
Work
Year: 2011
Type: preprint
Abstract: The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the classical Kosaraju-Lambert... more
Author Jérôme Leroux
Institutions Laboratoire Bordelais de Recherche en Informatique, Université de Bordeaux, Institut Polytechnique de Bordeaux, Centre National de la Recherche Scientifique
Cites: 9
Cited by: 21
Related to: 10
Citation percentile (by year/subfield): 98.6
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green