-
1
-
-
0024129970
-
A calculus of refinements for program derivations
-
R.J.R. Back: A calculus of refinements for program derivations. Acta Informatica, 25:593-624 (1988)
-
(1988)
Acta Informatica
, vol.25
, pp. 593-624
-
-
Back, R.J.R.1
-
2
-
-
84957834675
-
Refinement calculus, part II: Parallel and reactive programs
-
J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
-
R.J.R. Back: Refinement calculus, part II: Parallel and reactive programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 67-93. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
-
(1989)
Lecture Notes in Computer Science Volume 430
, vol.430
, pp. 67-93
-
-
Back, R.J.R.1
-
3
-
-
85017204677
-
Refinement calculus, part I: Sequential nondeterministic programs
-
J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
-
R.J.R. Back, J. von Wright: Refinement calculus, part I: Sequential nondeterministic programs. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 42-66. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
-
(1989)
Lecture Notes in Computer Science Volume 430
, vol.430
, pp. 42-66
-
-
Back, R.J.R.1
Von Wright, J.2
-
4
-
-
0025458530
-
Duality in specification languages: A lattice-theoretical approach
-
R.J.R. Back, J. von Wright: Duality in specification languages: A lattice-theoretical approach. Acta Informatica, 27:583-625 (1990)
-
(1990)
Acta Informatica
, vol.27
, pp. 583-625
-
-
Back, R.J.R.1
Von Wright, J.2
-
5
-
-
0026882182
-
Combining angels, demons and miracles in program specifications
-
R.J.R. Back, J. von Wright: Combining angels, demons and miracles in program specifications. Theoretical Computer Science, 100(2):365-383 (1992)
-
(1992)
Theoretical Computer Science
, vol.100
, Issue.2
, pp. 365-383
-
-
Back, R.J.R.1
Von Wright, J.2
-
8
-
-
24644485295
-
Towards a calculus of data refinement
-
J.L. van de Schnepscheut, editor, International Conference on Mathematics of Program Construction
-
W. Chen, J.T. Udding: Towards a calculus of data refinement. In J.L. van de Schnepscheut, editor, Lecture Notes in Computer Science Volume 375, pages 197-218. International Conference on Mathematics of Program Construction, 1989.
-
(1989)
Lecture Notes in Computer Science Volume 375
, vol.375
, pp. 197-218
-
-
Chen, W.1
Udding, J.T.2
-
11
-
-
0004479697
-
Programs, recursion, and unbounded choice: Predicate transformer semantics and transformation rules
-
Cambridge University Press
-
Wim H. Hesselink: Programs, Recursion, and Unbounded Choice: Predicate Transformer Semantics and Transformation Rules. Cambridge Tracts in Theoretical Computer Science 27. Cambridge University Press, 1992.
-
(1992)
Cambridge Tracts in Theoretical Computer Science 27
-
-
Wim, H.1
-
12
-
-
0015482118
-
Proofs of correctness of data representations
-
C.A.R. Hoare: Proofs of correctness of data representations. Acta Informatica, 1(4):271-281 (1972)
-
(1972)
Acta Informatica
, vol.1
, Issue.4
, pp. 271-281
-
-
Hoare, C.A.R.1
-
13
-
-
85027513509
-
Simulations between specifications of distributed systems
-
J.C. Baeten and J.F. Groote, editors CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer
-
Bengt Jonsson: Simulations between specifications of distributed systems. In J.C. Baeten and J.F. Groote, editors. Lecture Notes in Computer Science 527, pages 346-360. CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory. Berlin Heidelberg New York: Springer 1991.
-
(1991)
Lecture Notes in Computer Science 527
, pp. 346-360
-
-
Jonsson, B.1
-
15
-
-
0025385102
-
A predicate transformer for progress
-
Edgar Knapp: A predicate transformer for progress. Information Processing Letters, 33 (1989/90)
-
(1989)
Information Processing Letters
, vol.33
-
-
Knapp, E.1
-
16
-
-
0017996760
-
Time, clocks and ordering of events in distributed systems
-
Leslie Lamport: Time, clocks and ordering of events in distributed systems. Communications of the ACM, 21(7):558-565 (1978)
-
(1978)
Communications of the ACM
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
18
-
-
85028753334
-
Multivalued possibilities mappings
-
J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Stepwise Refinement of Distributed Systems
-
Nancy A. Lynch: Multivalued possibilities mappings. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 430, pages 519-544. REX Workshop on Stepwise Refinement of Distributed Systems, 1989.
-
(1989)
Lecture Notes in Computer Science Volume 430
, vol.430
, pp. 519-544
-
-
Lynch, N.A.1
-
19
-
-
0022069122
-
A √N algorithm for mutual exclusion in decentralized systems
-
M. Maekawa: A √N algorithm for mutual exclusion in decentralized systems. ACM Transactions on Computer Systems, 3(2):145-159 (1985)
-
(1985)
ACM Transactions on Computer Systems
, vol.3
, Issue.2
, pp. 145-159
-
-
Maekawa, M.1
-
20
-
-
0001371974
-
A logic for concurrent programming: Progress
-
J. Misra: A logic for concurrent programming: Progress. Journal of Computer and Software Engineering, 3(2):273-300 (1995)
-
(1995)
Journal of Computer and Software Engineering
, vol.3
, Issue.2
, pp. 273-300
-
-
Misra, J.1
-
25
-
-
0008159823
-
Eliminating the substitution axiom from UNITY logic
-
Beverly Sanders: Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2) (1991)
-
(1991)
Formal Aspects of Computing
, vol.3
, Issue.2
-
-
Sanders, B.1
-
26
-
-
0023401462
-
The information structure of distributed mutual exclusion algorithms
-
Beverly A. Sanders: The information structure of distributed mutual exclusion algorithms. ACM Transactions on Computer Systems, 5(3):284-299 (1987)
-
(1987)
ACM Transactions on Computer Systems
, vol.5
, Issue.3
, pp. 284-299
-
-
Sanders, B.A.1
-
27
-
-
0040250862
-
Stepwise refinement of mixed specifications of concurrent programs
-
M. Broy and C.B. Jones, editors, Amsterdam: Elsevier Science Publishers B.V. (North Holland)
-
Beverly A. Sanders. Stepwise refinement of mixed specifications of concurrent programs. In M. Broy and C.B. Jones, editors, Proceedings of the IFIP Working Conference on Programming Concepts and Methods, pages 1-25. Amsterdam: Elsevier Science Publishers B.V. (North Holland), 1990.
-
(1990)
Proceedings of the IFIP Working Conference on Programming Concepts and Methods
, pp. 1-25
-
-
Sanders, B.A.1
-
28
-
-
0040250864
-
Reasoning about programs by exploiting the environment
-
Proceedings 21st International Colloquium, ICALP'94. Berlin Heidelberg New York: Springer
-
Fred Schneider, Lenore Fix: Reasoning about programs by exploiting the environment. In Lecture Notes in Computer Science 820, pages 328-339. Proceedings 21st International Colloquium, ICALP'94. Berlin Heidelberg New York: Springer 1994.
-
(1994)
Lecture Notes in Computer Science 820
, pp. 328-339
-
-
Schneider, F.1
Lenore, F.2
-
29
-
-
21144466790
-
Program refinement in fair transition systems
-
Ambuj K. Singh: Program refinement in fair transition systems. Acta Informatica, 30(6):503-535 (1993)
-
(1993)
Acta Informatica
, vol.30
, Issue.6
, pp. 503-535
-
-
Singh, A.K.1
-
30
-
-
84955558486
-
On the relation between UNITY properties and sequences of states
-
J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, REX Workshop on Semantics: Foundations and Applications. Berlin Heidelberg New York; Springer
-
R. T. Udink, J.N. Kok: On the relation between UNITY properties and sequences of states. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Lecture Notes in Computer Science Volume 666, pages 594-608. REX Workshop on Semantics: Foundations and Applications. Berlin Heidelberg New York; Springer 1993.
-
(1993)
Lecture Notes in Computer Science Volume 666
, vol.666
, pp. 594-608
-
-
Udink, R.T.1
Kok, J.N.2
|