-
2
-
-
85037542296
-
Extended computation tree logic
-
Fermüller, C.G., Voronkov, A. (eds.) LPAR-17. Springer, Heidelberg
-
Axelsson, R., Hague, M., Kreutzer, S., Lange, M., Latte, M.: Extended computation tree logic. In: Fermüller, C.G., Voronkov, A. (eds.) LPAR-17. LNCS, vol. 6397, pp. 67-81. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6397
, pp. 67-81
-
-
Axelsson, R.1
Hague, M.2
Kreutzer, S.3
Lange, M.4
Latte, M.5
-
3
-
-
84976664421
-
Exponential space complete problems for Petri nets and commutative semigroups
-
ACM Press, New York
-
Cardoza, E., Lipton, R.J., Meyer, A.R.: Exponential space complete problems for Petri nets and commutative semigroups. In: STOC 1976, pp. 50-54. ACM Press, New York (1976)
-
(1976)
STOC 1976
, pp. 50-54
-
-
Cardoza, E.1
Lipton, R.J.2
Meyer, A.R.3
-
4
-
-
79960095874
-
Forward analysis and model checking for trace bounded WSTS
-
Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. Springer, Heidelberg
-
Chambart, P., Finkel, A., Schmitz, S.: Forward analysis and model checking for trace bounded WSTS. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 49-68. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6709
, pp. 49-68
-
-
Chambart, P.1
Finkel, A.2
Schmitz, S.3
-
5
-
-
79960094093
-
On selective unboundedness of VASS. INFINITY 2010. Elec. Proc
-
Demri, S.: On selective unboundedness of VASS. INFINITY 2010. Elec. Proc. In: Elec. Proc. in Theor. Comput. Sci., vol. 39, pp. 1-15 (2010)
-
(2010)
Elec. Proc. in Theor. Comput. Sci.
, vol.39
, pp. 1-15
-
-
Demri, S.1
-
6
-
-
0031380305
-
Decidability of model checking for infinite-state concurrent systems
-
Esparza, J.: Decidability of model checking for infinite-state concurrent systems. Acta Inf. 34(2), 85-107 (1997)
-
(1997)
Acta Inf.
, vol.34
, Issue.2
, pp. 85-107
-
-
Esparza, J.1
-
7
-
-
80052156766
-
Ackermannian and primitive-recursive bounds with Dickson's Lemma
-
IEEE, Los Alamitos
-
Figueira, D., Figueira, S., Schmitz, S., Schnoebelen, P.: Ackermannian and primitive-recursive bounds with Dickson's Lemma. LICS 2011. IEEE, Los Alamitos (2011)
-
(2011)
LICS 2011
-
-
Figueira, D.1
Figueira, S.2
Schmitz, S.3
Schnoebelen, P.4
-
8
-
-
54249139172
-
Reversal-bounded counter machines revisited
-
Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. Springer, Heidelberg
-
Finkel, A., Sangnier, A.: Reversal-bounded counter machines revisited. In: Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol. 5162, pp. 323-334. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5162
, pp. 323-334
-
-
Finkel, A.1
Sangnier, A.2
-
9
-
-
67649879028
-
Verifying liveness for asynchronous programs
-
ACM Press, New York
-
Ganty, P., Majumdar, R., Rybalchenko, A.: Verifying liveness for asynchronous programs. In: POPL 2009, pp. 102-113. ACM Press, New York (2009)
-
(2009)
POPL 2009
, pp. 102-113
-
-
Ganty, P.1
Majumdar, R.2
Rybalchenko, A.3
-
10
-
-
84958978941
-
On the complexity of the linear-time μ-calculus for Petri nets
-
Azéma, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
-
Habermehl, P.: On the complexity of the linear-time μ-calculus for Petri nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 102-116. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1248
, pp. 102-116
-
-
Habermehl, P.1
-
11
-
-
0042165359
-
Decision problems for Petri nets and vector addition systems
-
MIT, Cambridge
-
Hack, M.: Decision problems for Petri nets and vector addition systems. Computation Structures Group Memo 95, Project MAC. MIT, Cambridge (1974)
-
(1974)
Computation Structures Group Memo 95, Project MAC
-
-
Hack, M.1
-
12
-
-
0000769632
-
On the reachability problem for 5-dimensional vector addition systems
-
Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comput. Sci. 8(2), 135-159 (1979)
-
(1979)
Theor. Comput. Sci.
, vol.8
, Issue.2
, pp. 135-159
-
-
Hopcroft, J.1
Pansiot, J.J.2
-
13
-
-
77954993718
-
Dynamic cutoff detection in parameterized concurrent programs
-
Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
-
Kaiser, A., Kroening, D., Wahl, T.: Dynamic cutoff detection in parameterized concurrent programs. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 645-659. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6174
, pp. 645-659
-
-
Kaiser, A.1
Kroening, D.2
Wahl, T.3
-
15
-
-
85051533358
-
Decidability of reachability in vector addition systems
-
ACM Press, New York
-
Kosaraju, S.R.: Decidability of reachability in vector addition systems. In: STOC 1982, pp. 267-281. ACM Press, New York (1982)
-
(1982)
STOC 1982,.
, pp. 267-281
-
-
Kosaraju, S.R.1
-
16
-
-
79251569009
-
Vector addition system reachability problem: A short self-contained proof
-
ACM Press, New York
-
Leroux, J.: Vector addition system reachability problem: a short self-contained proof. In: POPL 2011, pp. 307-316. ACM Press, New York (2011)
-
(2011)
POPL 2011
, pp. 307-316
-
-
Leroux, J.1
-
17
-
-
0013318504
-
An algorithm for the general Petri net reachability problem
-
ACM Press, New York
-
Mayr, E.W.: An algorithm for the general Petri net reachability problem. In: STOC 1981, pp. 238-246. ACM Press, New York (1981)
-
(1981)
STOC 1981
, pp. 238-246
-
-
Mayr, E.W.1
-
18
-
-
0000660737
-
The covering and boundedness problems for vector addition systems
-
Rackoff, C.: The covering and boundedness problems for vector addition systems. Theor. Comput. Sci. 6(2), 223-231 (1978)
-
(1978)
Theor. Comput. Sci.
, vol.6
, Issue.2
, pp. 223-231
-
-
Rackoff, C.1
-
19
-
-
0022662959
-
A multiparameter analysis of the boundedness problem for vector addition systems
-
Rosier, L.E., Yen, H.C.: A multiparameter analysis of the boundedness problem for vector addition systems. J. Comput. Syst. Sci. 32(1), 105-135 (1986)
-
(1986)
J. Comput. Syst. Sci.
, vol.32
, Issue.1
, pp. 105-135
-
-
Rosier, L.E.1
Yen, H.C.2
-
20
-
-
0019703379
-
Petri nets and regular languages
-
Valk, R., Vidal-Naquet, G.: Petri nets and regular languages. J. Comput. Syst. Sci. 23(3), 299-325 (1981)
-
(1981)
J. Comput. Syst. Sci.
, vol.23
, Issue.3
, pp. 299-325
-
-
Valk, R.1
Vidal-Naquet, G.2
-
21
-
-
85012920204
-
The complexity of almost linear Diophantine problems
-
Weispfenning, V.: The complexity of almost linear Diophantine problems. J. Symb. Comput. 10(5), 395-403 (1990)
-
(1990)
J. Symb. Comput.
, vol.10
, Issue.5
, pp. 395-403
-
-
Weispfenning, V.1
-
22
-
-
0026685401
-
A unified approach for deciding the existence of certain Petri net paths
-
Yen, H.C.: A unified approach for deciding the existence of certain Petri net paths. Inform. and Comput. 96(1), 119-137 (1992)
-
(1992)
Inform. and Comput.
, vol.96
, Issue.1
, pp. 119-137
-
-
Yen, H.C.1
|