-
1
-
-
84863933189
-
On-the-fly analysis of systems with unbounded, lossy fifo channels
-
10th Internat. Conf. on Computer Aided Verification (CAV'98) Berlin: Springer
-
Abdulla P., Bouajjani A., Jonsson B. On-the-fly analysis of systems with unbounded, lossy fifo channels. 10th Internat. Conf. on Computer Aided Verification (CAV'98). Lecture Notes in Computer Science. Vol. 1427:1998;Springer, Berlin.
-
(1998)
Lecture Notes in Computer Science
, vol.1427
-
-
Abdulla, P.1
Bouajjani, A.2
Jonsson, B.3
-
2
-
-
0027266167
-
Verifying programs with unreliable channels
-
IEEE, New York
-
P. Abdulla, B. Jonsson, Verifying programs with unreliable channels, in: LICS'93, IEEE, New York, 1993.
-
(1993)
LICS'93
-
-
Abdulla, P.1
Jonsson, B.2
-
3
-
-
0002811217
-
Undecidable verification problems for programs with unreliable channels
-
Abdulla P., Jonsson B. Undecidable verification problems for programs with unreliable channels. Inform. and Comput. 130(1):1996;71-90.
-
(1996)
Inform. and Comput.
, vol.130
, Issue.1
, pp. 71-90
-
-
Abdulla, P.1
Jonsson, B.2
-
4
-
-
84950991319
-
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
-
Proc. ICALP'97, Springer, Berlin
-
A. Bouajjani, P. Habermehl, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, in: Proc. ICALP'97, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997.
-
(1997)
Lecture Notes in Computer Science
, vol.1256
-
-
Bouajjani, A.1
Habermehl, P.2
-
5
-
-
84957104846
-
Model checking lossy vector addition systems
-
Proc. STACS'99, Springer, Berlin
-
A. Bouajjani, R. Mayr, Model checking lossy vector addition systems, in: Proc. STACS'99, Lecture Notes in Computer Science, Vol. 1563, Springer, Berlin, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1563
-
-
Bouajjani, A.1
Mayr, R.2
-
6
-
-
13544268666
-
Unreliable channels are easier to verify than perfect channels
-
Cécé G., Finkel A., Iyer S.P. Unreliable channels are easier to verify than perfect channels. Inform. and Comput. 124(1):1996;20-31.
-
(1996)
Inform. and Comput.
, vol.124
, Issue.1
, pp. 20-31
-
-
Cécé, G.1
Finkel, A.2
Iyer, S.P.3
-
9
-
-
85037030721
-
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic
-
Clarke E.M., Emerson E.A. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Lecture Notes in Computer Science. Vol. 131:1981;52-71.
-
(1981)
Lecture Notes in Computer Science
, vol.131
, pp. 52-71
-
-
Clarke, E.M.1
Emerson, E.A.2
-
10
-
-
0000709547
-
Finiteness of the odd perfect and primitive abundant numbers with distinct factors
-
Dickson L.E. Finiteness of the odd perfect and primitive abundant numbers with distinct factors. Amer. J. Math. 35:1913;413-422.
-
(1913)
Amer. J. Math.
, vol.35
, pp. 413-422
-
-
Dickson, L.E.1
-
12
-
-
84878552622
-
Reset nets between decidability and undecidability
-
Springer, Berlin
-
C. Dufourd, A. Finkel, Ph. Schnoebelen, Reset nets between decidability and undecidability, in: Proc. ICALP'98, Lecture Notes in Computer Science, Vol. 1443, Springer, Berlin, 1998.
-
(1998)
Proc. ICALP'98, Lecture Notes in Computer Science
, vol.1443
-
-
Dufourd, C.1
Finkel, A.2
Schnoebelen, Ph.3
-
13
-
-
84887436670
-
Boundedness of reset P/T nets
-
Springer, Berlin
-
C. Dufourd, P. Jančar, Ph. Schnoebelen, Boundedness of reset P/T nets, in: Proc. ICALP'99, Lecture Notes in Computer Science, Vol. 1644, Springer, Berlin, 1999.
-
(1999)
Proc. ICALP'99, Lecture Notes in Computer Science
, vol.1644
-
-
Dufourd, C.1
Jančar, P.2
Schnoebelen, Ph.3
-
14
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen (Ed.), Elsevier, Amsterdam
-
E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science : Vol. B, Formal Models and Semantics, Elsevier, Amsterdam, 1994.
-
(1994)
Handbook of Theoretical Computer Science: Vol. B, Formal Models and Semantics
, vol.B
-
-
Emerson, E.A.1
-
15
-
-
0031380305
-
Decidability of model checking for infinite-state concurrent systems
-
Esparza J. Decidability of model checking for infinite-state concurrent systems. Acta Inform. 34:1997;85-107.
-
(1997)
Acta Inform.
, vol.34
, pp. 85-107
-
-
Esparza, J.1
-
16
-
-
0013416481
-
On the verification of broadcast protocols
-
IEEE, New York
-
J. Esparza, A. Finkel, R. Mayr, On the verification of broadcast protocols, in: Proc. LICS'99, IEEE, New York, 1999.
-
(1999)
Proc. LICS'99
-
-
Esparza, J.1
Finkel, A.2
Mayr, R.3
-
17
-
-
84925086337
-
On the model checking problem for branching time logics and basic parallel processes
-
Springer, Berlin
-
J. Esparza, A. Kiehn, On the model checking problem for branching time logics and basic parallel processes, in: CAV'95, Lecture Notes in Computer Science, Vol. 939, Springer, Berlin, 1995, pp. 353-366.
-
(1995)
CAV'95, Lecture Notes in Computer Science
, vol.939
, pp. 353-366
-
-
Esparza, J.1
Kiehn, A.2
-
18
-
-
85034843372
-
On observing nondeterminism and concurrency
-
M. Hennessy, R. Milner, On Observing Nondeterminism and Concurrency, Lecture Notes in Computer Science, Vol. 85, 1980, pp. 295-309.
-
(1980)
Lecture Notes in Computer Science
, vol.85
, pp. 295-309
-
-
Hennessy, M.1
Milner, R.2
-
19
-
-
0021974161
-
Algebraic laws for nondeterminism and concurrency
-
Hennessy M., Milner R. Algebraic laws for nondeterminism and concurrency. J. Assoc. Comput. Mach. 32:1985;137-162.
-
(1985)
J. Assoc. Comput. Mach.
, vol.32
, pp. 137-162
-
-
Hennessy, M.1
Milner, R.2
-
20
-
-
0000264456
-
A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes
-
Hirshfeld Y., Jerrum M., Moller F. A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. J. Math. Struct. Comput. Sci. 6:1996;251-259.
-
(1996)
J. Math. Struct. Comput. Sci.
, vol.6
, pp. 251-259
-
-
Hirshfeld, Y.1
Jerrum, M.2
Moller, F.3
-
21
-
-
49049126479
-
Results on the propositional μ -calculus
-
Kozen D. Results on the propositional. μ -calculus Theoret. Comput. Sci. 27:1983;333-354.
-
(1983)
Theoret. Comput. Sci.
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
22
-
-
0021474508
-
An algorithm for the general Petri net reachability problem
-
Mayr E. An algorithm for the general Petri net reachability problem. SIAM J. Comput. 13:1984;441-460.
-
(1984)
SIAM J. Comput.
, vol.13
, pp. 441-460
-
-
Mayr, E.1
-
24
-
-
84974589116
-
On the complexity of bisimulation problems for basic parallel processes
-
Springer, Berlin
-
R. Mayr, On the complexity of bisimulation problems for basic parallel processes, in: Proc. ICALP 2000, Lecture Notes in Computer Science, Vol. 1853, Springer, Berlin, 2000.
-
(2000)
Proc. ICALP 2000, Lecture Notes in Computer Science
, vol.1853
-
-
Mayr, R.1
-
26
-
-
84955565828
-
Infinite results
-
U. Montanari, V. Sassone (Eds.), Springer, Berlin
-
F. Moller, Infinite results, in: U. Montanari, V. Sassone (Eds.), Proc. CONCUR'96, Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996.
-
(1996)
Proc. CONCUR'96, Lecture Notes in Computer Science
, vol.1119
-
-
Moller, F.1
-
28
-
-
85047040703
-
The temporal logic of programs
-
New York
-
A. Pnueli, The temporal logic of programs, in: FOCS'77, IEEE, New York, 1977.
-
(1977)
FOCS'77, IEEE
-
-
Pnueli, A.1
-
29
-
-
0020812083
-
On some variants of Post's correspondence problem
-
Ruohonen K. On some variants of Post's correspondence problem. Acta Inform. 19:1983;357-367.
-
(1983)
Acta Inform
, vol.19
, pp. 357-367
-
-
Ruohonen, K.1
-
30
-
-
0026685401
-
A unified approach for deciding the existence of certain Petri net paths
-
Yen H. A unified approach for deciding the existence of certain Petri net paths. Inform. and Comput. 96(1):1992;119-137.
-
(1992)
Inform. and Comput.
, vol.96
, Issue.1
, pp. 119-137
-
-
Yen, H.1
|