-
1
-
-
0026171162
-
A domain equation for bisimulation
-
S. Abramsky. A domain equation for bisimulation. Information and Computation, 92(2):161-218, June 1991.
-
(1991)
Information and Computation
, vol.92
, Issue.2
, pp. 161-218
-
-
Abramsky, S.1
-
2
-
-
0001847686
-
Domain theory
-
In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Oxford Univ. Press
-
S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1-168. Oxford Univ. Press, 1994.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 1-168
-
-
Abramsky, S.1
Jung, A.2
-
3
-
-
21744439868
-
Partializing Stone spaces using SFP domains
-
In M. and M. Dauchet, editors, Lille, France, 14-18 April, Springer Verlag
-
F. Alessi, P. Baldan, and F. Honsell. Partializing Stone spaces using SFP domains. In M. Bidoit and M. Dauchet, editors, TAPSOFT’97 Conference Proceedings, volume 1214 of Lecture Notes in Computer Science, pages 478-489, Lille, France, 14-18 April 1997. Springer Verlag.
-
(1997)
TAPSOFT’97 Conference Proceedings, Volume 1214 of Lecture Notes in Computer Science
, pp. 478-489
-
-
Alessi, F.1
Baldan, P.2
Honsell, F.3
-
4
-
-
0037209704
-
A Category of Compositional Domain-Models for Separable Stone Spaces
-
January
-
F. Alessi, P. Baldan, and F. Honsell. A Category of Compositional Domain-Models for Separable Stone Spaces. Theoretical Computer Science, 290(1):599-635, January 2003.
-
(2003)
Theoretical Computer Science
, vol.290
, Issue.1
, pp. 599-635
-
-
Alessi, F.1
Baldan, P.2
Honsell, F.3
-
8
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs
-
Los Angeles, California. ACM Press
-
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs. In Proc. of the 4th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California. ACM Press, 1977.
-
(1977)
Proc. of the 4Th ACM Symposium on Principles of Programming Languages
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
10
-
-
4544379156
-
The Existence of Finite Abstractions for Branching Time Model Checking
-
13-17 July, Turku, Finland. IEEE Computer Society Press
-
D. Dams and K. Namjoshi. The Existence of Finite Abstractions for Branching Time Model Checking. In Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science, pages 335-344, 13-17 July, Turku, Finland. IEEE Computer Society Press, 2004.
-
(2004)
Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science
, pp. 335-344
-
-
Dams, D.1
Namjoshi, K.2
-
11
-
-
0031102750
-
Abstract interpretation of reactive systems
-
D. Dams, R. Gerth, and O. Grumberg. Abstract interpretation of reactive systems. ACM TOPLAS, 19:253-291, 1997.
-
(1997)
ACM TOPLAS
, vol.19
, pp. 253-291
-
-
Dams, D.1
Gerth, R.2
Grumberg, O.3
-
13
-
-
0033698747
-
Approximating Labeled Markov Processes
-
Santa Barbara, California, 26-29 June 2000. IEEE Computer Society Press
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Approximating Labeled Markov Processes. In Proc. of the 15th Annual IEEE Symposium on Logic in Computer Science, pages 95-106, Santa Barbara, California, 26-29 June 2000. IEEE Computer Society Press.
-
Proc. of the 15Th Annual IEEE Symposium on Logic in Computer Science
, pp. 95-106
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
14
-
-
0036052667
-
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
-
Copenhagen, Denmark, July 2002. IEEE Computer Society
-
J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. The Metric Analogue of Weak Bisimulation for Probabilistic Processes. In Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science, pages 413-422, Copenhagen, Denmark, July 2002. IEEE Computer Society.
-
Proc. of the 17Th Annual IEEE Symposium on Logic in Computer Science
, pp. 413-422
-
-
Desharnais, J.1
Gupta, V.2
Jagadeesan, R.3
Panangaden, P.4
-
15
-
-
0344875573
-
Approximate Non-Interference
-
A. Di Pierro, C. Hankin, and H. Wiklicky. Approximate Non-Interference. Journal of Computer Security, 12(1):37-82, 2004.
-
(2004)
Journal of Computer Security
, vol.12
, Issue.1
, pp. 37-82
-
-
Di Pierro, A.1
Hankin, C.2
Wiklicky, H.3
-
17
-
-
0004011095
-
-
Springer Verlag
-
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. A Compendium of Continuous Lattices. Springer Verlag, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
18
-
-
84944065857
-
Abstraction-based Model Checking using Modal Transition Systems
-
Springer Verlag, August
-
P. Godefroid, M. Huth, and R. Jagadeesan. Abstraction-based Model Checking using Modal Transition Systems. In Proc. of the 12th International Conference on Theory and Practice of Concurrency, volume 2154 of Lecture Notes in Computer Science, pages 426-440. Springer Verlag, August 2001.
-
(2001)
Proc. of the 12Th International Conference on Theory and Practice of Concurrency, Volume 2154 of Lecture Notes in Computer Science
, pp. 426-440
-
-
Godefroid, P.1
Huth, M.2
Jagadeesan, R.3
-
19
-
-
84937565742
-
Automatic Abstraction Using Generalized Model Checking
-
In E. Brinksma and K. G. Larsen, editors, Copenhagen, Denmark, Springer Verlag
-
P. Godefroid and R. Jagadeesan. Automatic Abstraction Using Generalized Model Checking. In E. Brinksma and K. G. Larsen, editors, Proc. of the 14th International Conference on Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 137-150, Copenhagen, Denmark, July 2002. Springer Verlag.
-
(2002)
Proc. of the 14Th International Conference on Computer Aided Verification, Volume 2404 of Lecture Notes in Computer Science
, pp. 137-150
-
-
Godefroid, P.1
Jagadeesan, R.2
-
20
-
-
35248847830
-
On The Expressiveness of 3-Valued Models
-
In L. D. Zuck, P. C. Attie, A. Cortesi, and S. Mukhopadhyay, editors, New York, January, Springer Verlag
-
P. Godefroid and R. Jagadeesan. On The Expressiveness of 3-Valued Models. In L. D. Zuck, P. C. Attie, A. Cortesi, and S. Mukhopadhyay, editors, Proc. of the 4th International Conference on Verification, Model Checking and Abstract Interpretation, volume 2575 of LNCS, pages 206-222, New York, January 2003. Springer Verlag.
-
(2003)
Proc. of the 4Th International Conference on Verification, Model Checking and Abstract Interpretation, Volume 2575 of LNCS
, pp. 206-222
-
-
Godefroid, P.1
Jagadeesan, R.2
-
21
-
-
84976746763
-
Initial algebra semantics and continuous algebras
-
J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright. Initial algebra semantics and continuous algebras. Journal of the ACM, 24(1):44-67, 1977.
-
(1977)
Journal of the ACM
, vol.24
, Issue.1
, pp. 44-67
-
-
Goguen, J.A.1
Thatcher, J.W.2
Wagner, E.G.3
Wright, J.B.4
-
24
-
-
0021974161
-
Algebraic laws for nondeterminism and concurrency
-
January
-
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
-
(1985)
Journal of the ACM
, vol.32
, Issue.1
, pp. 137-161
-
-
Hennessy, M.1
Milner, R.2
-
25
-
-
20344408221
-
On model checking multiple hybrid views
-
30 October-2 November, Paphos, Cyprus
-
A. Hussain and M. Huth. On model checking multiple hybrid views. Preliminary Proc. of the First International Symposium on Leveraging Applications of Formal Method, 15 pages, 30 October-2 November, Paphos, Cyprus, 2004.
-
(2004)
Preliminary Proc. of the First International Symposium on Leveraging Applications of Formal Method
, pp. 15
-
-
Hussain, A.1
Huth, M.2
-
26
-
-
35048831379
-
Modal transition systems: A foundation for threevalued program analysis
-
In D. Sands, editor, Springer Verlag, April
-
M. Huth, R. Jagadeesan, and D. A. Schmidt. Modal transition systems: a foundation for threevalued program analysis. In D. Sands, editor, Proc. of ESOP’2001, pages 155-169. Springer Verlag, April 2001.
-
(2001)
Proc. of ESOP’2001
, pp. 155-169
-
-
Huth, M.1
Jagadeesan, R.2
Schmidt, D.A.3
-
27
-
-
23844521156
-
A domain equation for refinement of partial systems
-
Cambridge University Press, August 2004
-
M. Huth, R. Jagadeesan, and D. A. Schmidt. A domain equation for refinement of partial systems. Mathematical Structures in Computer Science, 14(4):469-505, Cambridge University Press, August 2004.
-
Mathematical Structures in Computer Science
, vol.14
, Issue.4
, pp. 469-505
-
-
Huth, M.1
Jagadeesan, R.2
Schmidt, D.A.3
-
29
-
-
4544291537
-
Beyond image-finiteness: Labelled transition systems as a Stone space
-
13-17 July, Turku, Finland, IEEE Computer Society Press
-
M. Huth. Beyond image-finiteness: labelled transition systems as a Stone space. In: Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science, pages 222-231, 13-17 July, Turku, Finland, IEEE Computer Society Press, 2004.
-
(2004)
Proc. of the Nineteenth Annual IEEE Symposium on Logic in Computer Science
, pp. 222-231
-
-
Huth, M.1
-
31
-
-
49049126479
-
Results on the propositional mu-calculus
-
D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, 1983.
-
(1983)
Theoretical Computer Science
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
32
-
-
85008979790
-
Modal Specifications
-
In J. Sifakis, editor, Springer Verlag, June 12-14 1989. International Workshop, Grenoble, France
-
K. G. Larsen. Modal Specifications. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, number 407 in Lecture Notes in Computer Science, pages 232-246. Springer Verlag, June 12-14 1989. International Workshop, Grenoble, France.
-
Automatic Verification Methods for Finite State Systems, Number 407 in Lecture Notes in Computer Science
, pp. 232-246
-
-
Larsen, K.G.1
-
36
-
-
4544247867
-
Axioms for Probability and Nondeterminism
-
M. Mislove, J. Ouaknine, and J. Worrell. Axioms for Probability and Nondeterminism. Electronic Notes in Theoretical Computer Science, 65(1):21 pages, 2003.
-
(2003)
Electronic Notes in Theoretical Computer Science
, vol.65
, Issue.1
, pp. 21
-
-
Mislove, M.1
Ouaknine, J.2
Worrell, J.3
-
38
-
-
0028518019
-
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
-
October
-
B. Nuseibeh, J. Kramer, and A. Finkelstein. A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Transactions on Software Engineering, 20(10):760-773, October 1994.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.10
, pp. 760-773
-
-
Nuseibeh, B.1
Kramer, J.2
Finkelstein, A.3
-
39
-
-
0003777431
-
-
Addison Wesley
-
P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. modelling and analysis of security protocols. Addison Wesley, 2001.
-
(2001)
Modelling and Analysis of Security Protocols
-
-
Ryan, P.1
Schneider, S.2
Goldsmith, M.3
Lowe, G.4
Roscoe, B.5
-
40
-
-
84867796534
-
The Hybrid μ-calculus
-
R. Goré, A. Leitsch, and T. Nipkov, Siena, Italy, 18-23 June, Springer Verlag
-
U. Sattler and M. Vardi. The Hybrid μ-calculus. In R. Goré, A. Leitsch, and T. Nipkov Proc. of the First International Joint Conference on Automated Reasoning. Lecture Notes in Computer Science 2083, pages 76-91, Siena, Italy, 18-23 June, Springer Verlag, 2001.
-
(2001)
Proc. of the First International Joint Conference on Automated Reasoning. Lecture Notes in Computer Science 2083
, pp. 76-91
-
-
Sattler, U.1
Vardi, M.2
-
41
-
-
0041896603
-
-
chapter: Lattice theory, data types and semantics, Prentice-Hall
-
D. S. Scott. Formal semantics of programming languages, volume 2 of Courant Computer Science Symposia, chapter: Lattice theory, data types and semantics, pages 65-106. Prentice-Hall, 1972.
-
(1972)
Formal Semantics of Programming Languages, Volume 2 of Courant Computer Science Symposia
, pp. 65-106
-
-
Scott, D.S.1
-
42
-
-
0031654169
-
Viewpoints for requirements elicitation: A practical approach
-
Colorado Springs, Colorado, April 6-10 1998. IEEE Computer Society Press
-
I. Sommerville, P. Sawyer, and S. Viller. Viewpoints for requirements elicitation: a practical approach. In Proc. of the 1998 International Conference on Requirements Engineering, Colorado Springs, Colorado, April 6-10 1998. IEEE Computer Society Press.
-
Proc. of the 1998 International Conference on Requirements Engineering
-
-
Sommerville, I.1
Sawyer, P.2
Viller, S.3
|