-
1
-
-
84976766710
-
Ten years of Hoare's logic, a survey, part I
-
K.R. Apt, Ten years of Hoare's logic, a survey, Part I, ACM Trans. Programming Languages Systems 3 (4) (1981) 431-483.
-
(1981)
ACM Trans. Programming Languages Systems
, vol.3
, Issue.4
, pp. 431-483
-
-
Apt, K.R.1
-
2
-
-
0040398154
-
Process algebra with signals and conditions
-
M. Broy (Ed.), Programming and Mathematical Method, Proceedings Summer School Marktoberdorf, Springer, Berlin
-
J.C.M. Baeten, J.A. Bergstra, Process algebra with signals and conditions, in: M. Broy (Ed.), Programming and Mathematical Method, Proceedings Summer School Marktoberdorf, 1990 NATO ASI Series F, Springer, Berlin, 1992, pp. 273-323.
-
(1992)
1990 NATO ASI Series F
, pp. 273-323
-
-
Baeten, J.C.M.1
Bergstra, J.A.2
-
3
-
-
0000147041
-
A prepositional logic with 4 values: True, false, divergent and meaningless
-
J.A. Bergstra, I. Bethke, P.H. Rodenburg, A prepositional logic with 4 values: true, false, divergent and meaningless, J. Appl. Non-Classical Logics 5 (1995) 199-217.
-
(1995)
J. Appl. Non-classical Logics
, vol.5
, pp. 199-217
-
-
Bergstra, J.A.1
Bethke, I.2
Rodenburg, P.H.3
-
4
-
-
0000058143
-
A logic covering undefinedness in program proofs
-
H. Barringer, J.H. Cheng, C.B. Jones, A logic covering undefinedness in program proofs, Acta Inform. 21 (1984) 251-269.
-
(1984)
Acta Inform.
, vol.21
, pp. 251-269
-
-
Barringer, H.1
Cheng, J.H.2
Jones, C.B.3
-
5
-
-
0021465083
-
A theory of communicating sequential processes
-
S.D. Brookes, C.A.R. Hoare, A.W. Roscoe, A theory of communicating sequential processes, J. ACM 31 (3) (1984) 560-599.
-
(1984)
J. ACM
, vol.31
, Issue.3
, pp. 560-599
-
-
Brookes, S.D.1
Hoare, C.A.R.2
Roscoe, A.W.3
-
6
-
-
0041773500
-
The algebra of recursively defined processes and the algebra of regular processes
-
A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Springer, Berlin
-
J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing, Springer, Berlin, 1995, pp. 1-25. An extended abstract appeared in: J. Paredaens (Ed.), Proceedings 11th ICALP, Antwerp, Lecture Notes in Computer Science, Vol. 172, Springer, Berlin, 1984, pp. 82-95.
-
(1995)
Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing
, pp. 1-25
-
-
Bergstra, J.A.1
Klop, J.W.2
-
7
-
-
0042274337
-
-
An extended abstract appeared Proceedings 11th ICALP, Antwerp, Springer, Berlin
-
J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing, Springer, Berlin, 1995, pp. 1-25. An extended abstract appeared in: J. Paredaens (Ed.), Proceedings 11th ICALP, Antwerp, Lecture Notes in Computer Science, Vol. 172, Springer, Berlin, 1984, pp. 82-95.
-
(1984)
Lecture Notes in Computer Science
, vol.172
, pp. 82-95
-
-
Paredaens, J.1
-
8
-
-
0021291978
-
Process algebra for synchronous communication
-
J.A. Bergstra, J.W. Klop, Process algebra for synchronous communication, Inform. and Comput. 60 (1-3) (1984) 109-137.
-
(1984)
Inform. and Comput.
, vol.60
, Issue.1-3
, pp. 109-137
-
-
Bergstra, J.A.1
Klop, J.W.2
-
9
-
-
0043276795
-
-
Technical Report P9602b, Programming Research Group, University of Amsterdam
-
J.A. Bergstra, M.P.A. Sellink, Sequential data algebra primitives, Technical Report P9602b, Programming Research Group, University of Amsterdam, 1996.
-
(1996)
Sequential Data Algebra Primitives
-
-
Bergstra, J.A.1
Sellink, M.P.A.2
-
10
-
-
0001819869
-
A congruence theorem for structured operational semantics with predicates
-
E. Best (Ed.), Proceedings CONCUR 93, Hildesheim, Germany, Springer, Berlin
-
J.C.M. Baeten, C. Verhoef, A congruence theorem for structured operational semantics with predicates, in: E. Best (Ed.), Proceedings CONCUR 93, Hildesheim, Germany, Lecture Notes in Computer Science, Vol. 715, Springer, Berlin, 1993, pp. 477-492.
-
(1993)
Lecture Notes in Computer Science
, vol.715
, pp. 477-492
-
-
Baeten, J.C.M.1
Verhoef, C.2
-
12
-
-
0004253669
-
-
Prentice Hall International, Englewood Cliffs, NJ
-
E.W. Dijkstra, A Discipline of Programming, Prentice Hall International, Englewood Cliffs, NJ, 1976.
-
(1976)
A Discipline of Programming
-
-
Dijkstra, E.W.1
-
13
-
-
0000198242
-
Structured operational semantics and bisimulation as a congruence
-
J.F. Groote, F.W. Vaandrager, Structured operational semantics and bisimulation as a congruence, Inform. and Comput. 100 (2) (1992) 202-260.
-
(1992)
Inform. and Comput.
, vol.100
, Issue.2
, pp. 202-260
-
-
Groote, J.F.1
Vaandrager, F.W.2
-
14
-
-
21844526214
-
A typed logic of partial functions reconstructed classically
-
C.B. Jones, C.A. Middelburg, A typed logic of partial functions reconstructed classically, Acta Inform. 31 (5) (1994) 399-430.
-
(1994)
Acta Inform.
, vol.31
, Issue.5
, pp. 399-430
-
-
Jones, C.B.1
Middelburg, C.A.2
-
15
-
-
84947835661
-
Lattices with involution
-
J. Kalman, Lattices with involution, Trans. Amer. Math. Soc. 87 (1958) 485-491.
-
(1958)
Trans. Amer. Math. Soc.
, vol.87
, pp. 485-491
-
-
Kalman, J.1
-
16
-
-
0000236696
-
On a notation for ordinal numbers
-
S.C. Kleene, On a notation for ordinal numbers, J. Symbolic Logic 3 (1938) 150-155.
-
(1938)
J. Symbolic Logic
, vol.3
, pp. 150-155
-
-
Kleene, S.C.1
|