-
3
-
-
4544311549
-
Multi-clock timed networks
-
IEEE Computer Society Press
-
P. Abdulla, J. Deneux, and P. Mahata. Multi-clock timed networks. In Proc. LICS’ 04, pages 345-354. IEEE Computer Society Press, 2004.
-
(2004)
Proc. LICS’ 04
, pp. 345-354
-
-
Abdulla, P.1
Deneux, J.2
Mahata, P.3
-
4
-
-
33745645692
-
Forward reachability analysis of timed Petri nets
-
Springer
-
P. Abdulla, J. Deneux, P. Mahata, and A. Nylén. Forward reachability analysis of timed Petri nets. In Proc. FORMATS-FTRTFT’04, volume 3253 of Lecture Notes in Computer Science, pages 343-362. Springer, 2004.
-
(2004)
Proc. FORMATS-FTRTFT’04, Volume 3253 of Lecture Notes in Computer Science
, pp. 343-362
-
-
Abdulla, P.1
Deneux, J.2
Mahata, P.3
Nylén, A.4
-
5
-
-
84947906847
-
Verifying networks of timed processes
-
Bernhard Steffen, editor
-
th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science, pages 298-312, 1998.
-
(1998)
Proc. TACAS ’98, 4
, pp. 298-312
-
-
Abdulla, P.A.1
Jonsson, B.2
-
6
-
-
0037209826
-
Model checking of systems with many identical timed processes
-
P. A. Abdulla and B. Jonsson. Model checking of systems with many identical timed processes. Theoretical Computer Science, 290(1):241-264, 2003.
-
(2003)
Theoretical Computer Science
, vol.290
, Issue.1
, pp. 241-264
-
-
Abdulla, P.A.1
Jonsson, B.2
-
8
-
-
33746368002
-
Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed petri nets
-
Springer Ver-lag
-
P. Abdulla, P. Mahata, and R. Mayr. Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed petri nets. In Proc. of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), volume 3328 of LNCS. Springer Ver-lag, 2004.
-
(2004)
Proc. Of the 24Th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Volume 3328 of LNCS
-
-
Abdulla, P.1
Mahata, P.2
Mayr, R.3
-
12
-
-
84880207691
-
Comparison of Different Semantics for Time Petri Nets
-
Taipei, Taiwan, October, Springer
-
B. Bérard, F. Cassez, S. Haddad, O. Roux, and D. Lime. Comparison of Different Semantics for Time Petri Nets. In Proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA’2005), volume 3707 of Lecture Notes in Computer Science, pages 81-94, Taipei, Taiwan, October 2005. Springer.
-
(2005)
Proceedings of the Third International Symposium on Automated Technology for Verification and Analysis (ATVA’2005), Volume 3707 of Lecture Notes in Computer Science
, pp. 81-94
-
-
Bérard, B.1
Cassez, F.2
Haddad, S.3
Roux, O.4
Lime, D.5
-
15
-
-
84888307926
-
Decidability of properties of timed-arc Petri nets
-
D. de Frutos Escrig, V. Valero Ruiz, and O. Marroquín Alonso. Decidability of properties of timed-arc Petri nets. In ICATPN 2000, number 1825 in LNCS, pages 187-206, 2000.
-
(2000)
ICATPN 2000, Number 1825 in LNCS
, pp. 187-206
-
-
De Frutos Escrig, D.1
Valero Ruiz, V.2
Marroquín Alonso, O.3
-
16
-
-
0000709547
-
Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors
-
L. E. Dickson. Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. American Journal of Mathematics, 35:413-422, 1913.
-
(1913)
American Journal of Mathematics
, vol.35
, pp. 413-422
-
-
Dickson, L.E.1
-
19
-
-
0034911369
-
Well structured transition systems everywhere!
-
A. Finkel and Ph. Schnoebelen. Well structured transition systems everywhere! Theoretical Computer Science, 256(1-2):63-92, 2001.
-
(2001)
Theoretical Computer Science
, vol.256
, Issue.1-2
, pp. 63-92
-
-
Finkel, A.1
Schnoebelen, P.H.2
-
22
-
-
84972499908
-
Presburger formulas, and languages
-
Semigroups
-
S. Ginsburg and E. Spanier. Semigroups, Presburger formulas, and languages. Pacific J. of Mathematics, 16:285-296, 1966.
-
(1966)
Pacific J. Of Mathematics
, vol.16
, pp. 285-296
-
-
Ginsburg, S.1
Spanier, E.2
-
23
-
-
0004511560
-
Subclasses of self-modifying nets
-
Girault, C. and Reisig, W., editors, Strasbourg, Sep. 23-26, 1980, Bad Honnef, Sep. 28-30
-
B. Heinemann. Subclasses of self-modifying nets. In Girault, C. and Reisig, W., editors, Informatik-Fachberichte 52: Application and Theory of Petri Nets: Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets, Strasbourg, Sep. 23-26, 1980, Bad Honnef, Sep. 28-30, 1981, pages 187-192. Springer-Verlag, 1982.
-
(1981)
Informatik-Fachberichte 52: Application and Theory of Petri Nets: Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets
, pp. 187-192
-
-
Heinemann, B.1
-
24
-
-
84963086911
-
Ordering by divisibility in abstract algebras
-
G. Higman. Ordering by divisibility in abstract algebras. Proc. London Math. Soc., 2:326-336, 1952.
-
(1952)
Proc. London Math. Soc
, vol.2
, pp. 326-336
-
-
Higman, G.1
-
26
-
-
33746361151
-
-
PhD thesis, Dept. Of Information Technology, Uppsala University, Sweden
-
P. Mahata. Model Checking Parameterized Timed Systems. PhD thesis, Dept. Of Information Technology, Uppsala University, Sweden, 2005.
-
(2005)
Model Checking Parameterized Timed Systems
-
-
Mahata, P.1
-
27
-
-
0037287840
-
Undecidable problems in unreliable computations
-
R. Mayr. Undecidable problems in unreliable computations. TCS, 297(1-3):337-354, 2003.
-
(2003)
TCS
, vol.297
, Issue.1-3
, pp. 337-354
-
-
Mayr, R.1
-
28
-
-
0024645936
-
Petri nets: Properties, analysis und applications
-
T. Murata. Petri nets: Properties, analysis und applications. Proc. of the IEEE, 77(4):541-580, 1989.
-
(1989)
Proc. Of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
29
-
-
0000457926
-
On context-free languages
-
R. J. Parikh. On context-free languages. Journal of the ACM, 13(4):570-581, 1966.
-
(1966)
Journal of the ACM
, vol.13
, Issue.4
, pp. 570-581
-
-
Parikh, R.J.1
-
33
-
-
34547296058
-
Verifying progress in times systems
-
S. Tripakis. Verifying progress in times systems. In Proc. ARTS ’99, pages 299-314, 1999.
-
(1999)
Proc. ARTS ’99
, pp. 299-314
-
-
Tripakis, S.1
-
34
-
-
0021896980
-
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets
-
R. Valk and M. Jantzen. The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Informatica, 21:643-674, 1985.
-
(1985)
Acta Informatica
, vol.21
, pp. 643-674
-
-
Valk, R.1
Jantzen, M.2
|