-
1
-
-
84951123519
-
Model-checking the full-modal mu-calculus for infinite sequential processes
-
Springer-Verlag
-
Burkart O., Steffen B. Model-checking the full-modal mu-calculus for infinite sequential processes. ICALP ′97, LNCS. 1256:1997;419-429 Springer-Verlag
-
(1997)
ICALP ′97, LNCS
, vol.1256
, pp. 419-429
-
-
Burkart, O.1
Steffen, B.2
-
2
-
-
0022520256
-
A modal characterization of observational congruence on finite terms of CCS
-
Graf S., Sifakis J. A modal characterization of observational congruence on finite terms of CCS. Information and Control. 68:1986;125-145
-
(1986)
Information and Control
, vol.68
, pp. 125-145
-
-
Graf, S.1
Sifakis, J.2
-
3
-
-
0021974161
-
Algebraic laws for nondeterminism and concurrency
-
Hennessy M.C.B., Milner R. Algebraic laws for nondeterminism and concurrency. JACM. 32:(1):1985;137-161
-
(1985)
JACM
, vol.32
, Issue.1
, pp. 137-161
-
-
Hennessy, M.C.B.1
Milner, R.2
-
4
-
-
84878552423
-
Deciding bisimulation-like equivalences with finite-state processes
-
Springer-Verlag
-
JanČcar P., KuČcera A., Mayr R. Deciding bisimulation-like equivalences with finite-state processes. ICALP ′98, LNCS. 1443:1998;200-211 Springer-Verlag
-
(1998)
ICALP ′98, LNCS
, vol.1443
, pp. 200-211
-
-
Jančcar, P.1
Kučcera, A.2
Mayr, R.3
-
5
-
-
49049126479
-
Results on the propositional mu-calculus
-
Kozen D. Results on the propositional mu-calculus. TCS. 27:1983;333-354
-
(1983)
TCS
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
6
-
-
0040859656
-
A finite model theorem for the propositional μ-calculus
-
Kozen D. A finite model theorem for the propositional μ-calculus. Studia Logica. 47:1988;233-241
-
(1988)
Studia Logica
, vol.47
, pp. 233-241
-
-
Kozen, D.1
-
7
-
-
84957798874
-
Modal μ-calculus, model checking and Gauss elimination
-
Springer-Verlag
-
Mader A. Modal μ-calculus, model checking and Gauss elimination. TACAS ′95, LNCS. 1019:1995;72-88 Springer-Verlag
-
(1995)
TACAS ′95, LNCS
, vol.1019
, pp. 72-88
-
-
Mader, A.1
-
9
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
Springer-Verlag
-
Park D.M.R. Concurrency and automata on infinite sequences. In LNCS 154. 1981;561-572 Springer-Verlag
-
(1981)
In LNCS 154
, pp. 561-572
-
-
Park, D.M.R.1
-
10
-
-
84926414743
-
Characteristic formulae
-
Springer-Verlag
-
Steffen B. Characteristic formulae. Concur ′89, LNCS. 372:1989;723-732 Springer-Verlag
-
(1989)
Concur ′89, LNCS
, vol.372
, pp. 723-732
-
-
Steffen, B.1
-
11
-
-
0001422438
-
Characteristic formulae for processes with divergence
-
Steffen B., Ingólfsdóttir A. Characteristic formulae for processes with divergence. Information and Computation. 110:(1):1994;149-163
-
(1994)
Information and Computation
, vol.110
, Issue.1
, pp. 149-163
-
-
Steffen, B.1
Ingólfsdóttir, A.2
-
12
-
-
84972541021
-
A lattice-theoretical fixpoint theorem and its application
-
Tarski A. A lattice-theoretical fixpoint theorem and its application. Pacific Journal of Mathematics. 5:1955;285-309
-
(1955)
Pacific Journal of Mathematics
, vol.5
, pp. 285-309
-
-
Tarski, A.1
-
13
-
-
0025418238
-
Bisimulations and divergence in CCS
-
Walker D.J. Bisimulations and divergence in CCS. Information and Computation. 85:(2):1990;202-241
-
(1990)
Information and Computation
, vol.85
, Issue.2
, pp. 202-241
-
-
Walker, D.J.1
-
14
-
-
0004517938
-
Pushdown processes: Games and model-checking
-
Springer-Verlag
-
Walukiewicsz I. Pushdown processes: games and model-checking. CAV'96, LNCS 1102. 1996;Springer-Verlag
-
(1996)
CAV'96, LNCS 1102
-
-
Walukiewicsz, I.1
|