-
1
-
-
0018780062
-
Modal logic of concurrent nondeterministic programs
-
[Abr79]. G. Kahn, editors LNCS 70. Springer-Verlag
-
[Abr79] Abrahamson, K. : Modal logic of concurrent nondeterministic programs. In G. Kahn, editors, Semantics of Concurrent Computation, LNCS 70. Springer-Verlag, 1979, pages 21-33.
-
(1979)
Semantics of Concurrent Computation
, pp. 21-33
-
-
Abrahamson, K.1
-
2
-
-
0026154452
-
The existence of refinement mappings
-
[AbL91]
-
[AbL91] Abadi, M. and Lamport, L.: The existence of refinement mappings. Theoretical Computer Science, 82:253-284, 1991.
-
(1991)
Theoretical Computer Science
, vol.82
, pp. 253-284
-
-
Abadi, M.1
Lamport, L.2
-
4
-
-
0020732309
-
Proof rules and transformations dealing with fairness
-
[Ap083]
-
[Ap083] Apt, K. R. and Olderog, E.-R.: Proof rules and transformations dealing with fairness. Science of Computer Programming, 3:65-100, 1983.
-
(1983)
Science of Computer Programming
, vol.3
, pp. 65-100
-
-
Apt, K.R.1
Olderog, E.-R.2
-
6
-
-
33645424580
-
Concepts for concurrent programming
-
[AnS85]. J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors LNCS 224. Springer-Verlag
-
[AnS85] Andrews, G. R. and Schneider, F. B.: Concepts for concurrent programming. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985, Noordwijkerhout, Netherlands), LNCS 224. Springer-Verlag, 1985.
-
(1985)
ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985, Noordwijkerhout, Netherlands)
-
-
Andrews, G.R.1
Schneider, F.B.2
-
7
-
-
2542622984
-
A ProCoS project description - ESPRIT BRA 3104
-
[BJø89]
-
[BJø89] Bjørner, D., Hoare, C. A. R., Bowen, J. P. et al.: A ProCoS project description - ESPRIT BRA 3104. EATCS Bulletin, 39:60-73, 1989.
-
(1989)
EATCS Bulletin
, vol.39
, pp. 60-73
-
-
Bjørner, D.1
Hoare, C.A.R.2
Bowen, J.P.3
-
8
-
-
84957834675
-
Refinement calculus, Part II: Parallel and reactive programs
-
[Bac89], LNCS 430, Springer-Verlag, June
-
[Bac89] Back, R. J. R.: Refinement calculus, Part II: Parallel and reactive programs. In REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, pages 67-93. Springer-Verlag, June 1989.
-
(1989)
REX Workshop on Stepwise Refinement of Distributed Systems
, pp. 67-93
-
-
Back, R.J.R.1
-
9
-
-
0346032249
-
-
[BBB85], LNCS 183, Springer-Verlag
-
[BBB85] Bauer, F. L., Berghammer, R., Broy, et al.: The Munich Project CIP, Volume 1: The Wide Spectrum Language CIP-L, LNCS 183, Springer-Verlag, 1985.
-
(1985)
The Munich Project CIP, Volume 1: The Wide Spectrum Language CIP-L
, vol.1
-
-
Bauer, F.L.1
Berghammer, R.2
Broy3
-
10
-
-
33645428095
-
Software tools for developing and porting parallel programs
-
[BFG93]. J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, Springer-Verlag
-
[BFG93] Block, U., Ferstl, F. and Gentzsch, W.: Software tools for developing and porting parallel programs. In J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, Volume 106 of NATO ASI Series F, pages 62-75. Springer-Verlag, 1993.
-
(1993)
NATO ASI Series F
, vol.106
, pp. 62-75
-
-
Block, U.1
Ferstl, F.2
Gentzsch, W.3
-
11
-
-
0021465083
-
A theory of communicating sequential processes
-
[BHR84], July
-
[BHR84] Brookes, S. D., Hoare, C. A. R. and Rosooe, A. W.: A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, July 1984.
-
(1984)
Journal of the ACM
, vol.31
, Issue.3
, pp. 560-599
-
-
Brookes, S.D.1
Hoare, C.A.R.2
Rosooe, A.W.3
-
12
-
-
0022875062
-
A theory for nondeterminism, parallelism, communication, and concurrency
-
[Bro86]
-
[Bro86] Broy, M.; A theory for nondeterminism, parallelism, communication, and concurrency. Theoretical Computer Science, 45:1-68, 1986.
-
(1986)
Theoretical Computer Science
, vol.45
, pp. 1-68
-
-
Broy, M.1
-
13
-
-
33645440422
-
Compositional refinement of interactive systems
-
[Bro92], SEC Systems Research Center, July
-
[Bro92] Broy, M.: Compositional refinement of interactive systems. Technical Report 89, SEC Systems Research Center, July 1992.
-
(1992)
Technical Report
, vol.89
-
-
Broy, M.1
-
15
-
-
0013260585
-
Full abstraction for a shared-variable parallel language
-
[Bro96b], June
-
[Bro96b] Brookes, S. D.: Full abstraction for a shared-variable parallel language. Information and Computation, 127(2):145-163, June 1996.
-
(1996)
Information and Computation
, vol.127
, Issue.2
, pp. 145-163
-
-
Brookes, S.D.1
-
16
-
-
18944399793
-
Idealized CSP: Combining procedures with communicating processes
-
[Bro97], S. D. Brookes and M. Mislove, editors, ENTCS. Elsevier Science, March
-
[Bro97] Brookes, S. D.: Idealized CSP: combining procedures with communicating processes. In S. D. Brookes and M. Mislove, editors, 13th Annual Conference on Mathematical Foundations of Progamming Semantics (MFPS'13), ENTCS. Elsevier Science, March 1997.
-
(1997)
13th Annual Conference on Mathematical Foundations of Progamming Semantics (MFPS'13)
-
-
Brookes, S.D.1
-
18
-
-
84957803225
-
Logical foundations for compositional verification and development of concurrent programs in UNITY
-
[CoK95], LNCS 936, Springer-Verlag
-
[CoK95] Collette, P. and Knapp, E.: Logical foundations for compositional verification and development of concurrent programs in UNITY. In Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), LNCS 936, pages 353-367. Springer-Verlag, 1995.
-
(1995)
Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95)
, pp. 353-367
-
-
Collette, P.1
Knapp, E.2
-
21
-
-
33645439900
-
The failure of failures in a paradigm of asynchronous communication
-
[dKP91]
-
[dKP91] de Boer, F. S., Kok, J. N., Palamidessi, C. and Rutten, J. J. M. M.: The failure of failures in a paradigm of asynchronous communication. In Second International Conference in Concurrency Theory (CONCUR'91), 1991.
-
(1991)
Second International Conference in Concurrency Theory (CONCUR'91)
-
-
De Boer, F.S.1
Kok, J.N.2
Palamidessi, C.3
Rutten, J.J.M.M.4
-
22
-
-
0013402381
-
Hierarchical program structures
-
[DaH72]. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, editors, Academic Press
-
[DaH72] Dahl, O.-J. and Hoare, C. A. R.: Hierarchical program structures. In O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, editors, Structured Programming, pages 175-220. Academic Press, 1972.
-
(1972)
Structured Programming
, pp. 175-220
-
-
Dahl, O.-J.1
Hoare, C.A.R.2
-
24
-
-
84955591929
-
Modular verification for shared-variable concurrent programs
-
[Din96]. U. Montanari and V. Sassone, editors, LNCS 1119, Springer-Verlag
-
[Din96] Dingel, J.; Modular verification for shared-variable concurrent programs. In U. Montanari and V. Sassone, editors, Seventh International Conference in Concurrency Theory (CONCUR'96), LNCS 1119, pages 703-718. Springer-Verlag, 1999.
-
(1999)
Seventh International Conference in Concurrency Theory (CONCUR'96)
, pp. 703-718
-
-
Dingel, J.1
-
25
-
-
84957051197
-
-
[Din97], LNCS 1282, Springer-Verlag, September
-
[Din97] Dingel, J.: Approximating UNITY. In Second International Conference on Coordination Models and Languages (COORDINATION'97), LNCS 1282, pages 320-337. Springer-Verlag, September 1997.
-
(1997)
Second International Conference on Coordination Models and Languages (COORDINATION'97)
, pp. 320-337
-
-
Dingel, J.1
Unity, A.2
-
27
-
-
11844267551
-
-
[Din00]. PhD thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA, May Also appeared as CMU-CS-99-172
-
[Din00] Dingel, J.: Systematic Parallel Programming. PhD thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA, May 2000. Also appeared as CMU-CS-99-172.
-
(2000)
Systematic Parallel Programming
-
-
Dingel, J.1
-
29
-
-
0037643799
-
A proof method for cyclic programs
-
[FrP78]
-
[FrP78] Francez, N. and Pnueli, A.: A proof method for cyclic programs. Acta Informatica, 9(2):133-157, 1978.
-
(1978)
Acta Informatica
, vol.9
, Issue.2
, pp. 133-157
-
-
Francez, N.1
Pnueli, A.2
-
30
-
-
0003974004
-
-
[Fra86]. Texts and Monographs in Computer Science. Springer-Verlag
-
[Fra86] Francez, N.: Fairness. Texts and Monographs in Computer Science. Springer-Verlag, 1986.
-
(1986)
Fairness
-
-
Francez, N.1
-
31
-
-
0004226761
-
-
[Heh93]. Texts and Monographs in Computer Science. Springer-Verlag
-
[Heh93] Hehner, C. R.: A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, 1993.
-
(1993)
A Practical Theory of Programming
-
-
Hehner, C.R.1
-
32
-
-
0015482118
-
Proof of correctness of data representations
-
[Hoa72]
-
[Hoa72] Hoare, C. A. R.: Proof of correctness of data representations. Acta Informatica, 4:271-281, 1972.
-
(1972)
Acta Informatica
, vol.4
, pp. 271-281
-
-
Hoare, C.A.R.1
-
35
-
-
0344644883
-
The enterprise model for developing distributed applications
-
[Lob92], Department of Computer Science, University of Alberta, Edmonton, Canada, November
-
[Lob92] Lobe, G., Lu, P., Melax, S. et al.: The enterprise model for developing distributed applications. Technical Report, Department of Computer Science, University of Alberta, Edmonton, Canada, November 1992.
-
(1992)
Technical Report
-
-
Lobe, G.1
Lu, P.2
Melax, S.3
-
36
-
-
0022312586
-
A context dependent equivalence between processes
-
[Lar87]
-
[Lar87] Larsen, K. G.: A context dependent equivalence between processes. Theoretical Computer Science, 49(2):185-216, 1987.
-
(1987)
Theoretical Computer Science
, vol.49
, Issue.2
, pp. 185-216
-
-
Larsen, K.G.1
-
37
-
-
0001686948
-
FORGE90 and high performance fortran (HPF)
-
[Lev93]. J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation. Springer-Verlag
-
[Lev93] Levesque, J. M.: FORGE90 and High Performance Fortran (HPF). In J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, Volume 106 of NATO ASI Series F, pages 111-119. Springer-Verlag, 1993.
-
(1993)
NATO ASI Series F
, vol.106
, pp. 111-119
-
-
Levesque, J.M.1
-
38
-
-
33645440280
-
A semantic model for UNITY
-
[Liu89], Computer Science Department, University of Warwick, August
-
[Liu89] Liu, Z.: A semantic model for UNITY. Technical Report 144, Computer Science Department, University of Warwick, August 1989.
-
(1989)
Technical Report
, vol.144
-
-
Liu, Z.1
-
39
-
-
0004163765
-
-
[INM84] INMOS Ltd. Prentice-Hall
-
[INM84] INMOS Ltd. OCCAM Programming Manual. Prentice-Hall, 1984.
-
(1984)
OCCAM Programming Manual
-
-
-
40
-
-
0000993909
-
Processes: A mathematical model of computing agents
-
[Mil73]. Rose H. E. and Shepherson J. C., editors, North-Holland
-
[Mil73] Milner, R.: Processes: a mathematical model of computing agents. In Rose H. E. and Shepherson J. C., editors, Proceedings Logic Colloquium '73, pages 157-174. North-Holland, 1973.
-
(1973)
Proceedings Logic Colloquium '73
, pp. 157-174
-
-
Milner, R.1
-
42
-
-
0023558869
-
A theoretical basis for stepwise refinement and the programming calculus
-
[Mor87], December
-
[Mor87] Morris, J. M.: A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9(3):287-306, December 1987.
-
(1987)
Science of Computer Programming
, vol.9
, Issue.3
, pp. 287-306
-
-
Morris, J.M.1
-
45
-
-
0017173886
-
An axiomatic proof technique for parallel programs
-
[OwG76]
-
[OwG76] Owicki, S. S. and Gries, D.: An axiomatic proof technique for parallel programs. Acta Informatica, 6:319-340, 1976.
-
(1976)
Acta Informatica
, vol.6
, pp. 319-340
-
-
Owicki, S.S.1
Gries, D.2
-
46
-
-
0004054826
-
-
[Old91]. Cambridge Tracts in Theoretical Computer Science 23. Cambridge University Press
-
[Old91] Olderog, E.-R.: Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23. Cambridge University Press, 1991.
-
(1991)
Nets, Terms and Formulas
-
-
Olderog, E.-R.1
-
47
-
-
0013279218
-
-
[Old96]. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, USA
-
[Old96] Older, S. : A Denotational Framework for Fair Communicating Processes. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, USA, 1996.
-
(1996)
A Denotational Framework for Fair Communicating Processes
-
-
Older, S.1
-
48
-
-
33645447720
-
A case study in transformational design of concurrent systems
-
[01R93]. M.-C. Gaudel and J.-P. Jouannaud, editors, LNCS 668. Springer-Verlag, April
-
[01R93] Olderog, E.-R. and Rössig, S.: A case study in transformational design of concurrent systems. In M.-C. Gaudel and J.-P. Jouannaud, editors, Theory and Practice of Software Development (TAPSOFT'93), LNCS 668, pages 90-104. Springer-Verlag, April 1993.
-
(1993)
Theory and Practice of Software Development (TAPSOFT'93)
, pp. 90-104
-
-
Olderog, E.-R.1
Rössig, S.2
-
49
-
-
33645435587
-
ProCoS at Oldenburg: The interface between specification language and occam-like programming language
-
[ORS92], University of Oldenburg
-
[ORS92] Olderog, E.-R., Rössig, S., Sander, J. and Schenke, M.: ProCoS at Oldenburg: the interface between specification language and occam-like programming language. Technical Report 3/92, University of Oldenburg, 1992.
-
(1992)
Technical Report
, vol.3
, Issue.92
-
-
Olderog, E.-R.1
Rössig, S.2
Sander, J.3
Schenke, M.4
-
50
-
-
33645432297
-
Graphical support for parallel debugging
-
[Pan93]. J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation. Springer-Verlag
-
[Pan93] Pancake, C: Graphical support for parallel debugging, In J. S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, Volume 106 of NATO ASI Series F, pages 216-230. Springer-Verlag, 1993.
-
(1993)
NATO ASI Series F
, vol.106
, pp. 216-230
-
-
Pancake, C.1
-
51
-
-
2542527603
-
On the semantics of fair parallelism
-
[Par79]. D. Bjørner, editor, LNCS 86, Springer-Verlag
-
[Par79] Park, D.: On the semantics of fair parallelism. In D. Bjørner, editor, Abstract Software Specifications, LNCS 86, pages 504-526. Springer-Verlag, 1979.
-
(1979)
Abstract Software Specifications
, pp. 504-526
-
-
Park, D.1
-
52
-
-
0038357007
-
In transition from global to modular temporal reasoning about programs
-
[Pnu85]. K. R. Apt, editor, NATO ASI F13, Springer-Verlag
-
[Pnu85] Pnueli, A.: In transition from global to modular temporal reasoning about programs. In K. R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI F13, pages 123-144, Springer-Verlag, 1985.
-
(1985)
Logics and Models of Concurrent Systems
, pp. 123-144
-
-
Pnueli, A.1
-
54
-
-
33645434087
-
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm
-
[SDW95]
-
[SDW95] Stølen, K., Dederichs, F. and Weber, R.; Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm. Formal Aspects of Computing, 3:1-34, 1995.
-
(1995)
Formal Aspects of Computing
, vol.3
, pp. 1-34
-
-
Stølen, K.1
Dederichs, F.2
Weber, R.3
-
55
-
-
0003522379
-
Questions and answers about BSP
-
[SHM96], Oxford University Computing Laboratory, August
-
[SHM96] Skillicorn, D. B., Hill, J. M. D. and McColl, W. F.: Questions and answers about BSP. Technical Report TR-15-96, Oxford University Computing Laboratory, August 1996.
-
(1996)
Technical Report
, vol.TR-15-96
-
-
Skillicorn, D.B.1
Hill, J.M.D.2
McColl, W.F.3
-
57
-
-
0024303399
-
An introduction to Z and formal specification
-
[Spi89], January
-
[Spi89] Spivey, J. M.: An introduction to Z and formal specification. Software Engineering Journal, 4(1):40-50, January 1989.
-
(1989)
Software Engineering Journal
, vol.4
, Issue.1
, pp. 40-50
-
-
Spivey, J.M.1
-
59
-
-
0024019042
-
A generalization of Owicki-Gries' Hoare logic for a concurrent while language
-
[Sti88]
-
[Sti88] Stirling, C.: A generalization of Owicki-Gries' Hoare logic for a concurrent while language. Theoretical Computer Science, 89:347-359, 1988.
-
(1988)
Theoretical Computer Science
, vol.89
, pp. 347-359
-
-
Stirling, C.1
-
61
-
-
84957080552
-
On the relation between UNITY properties and sequences of states
-
[UdK93a]. Springer-Verlag
-
[UdK93a] Udink, R. T. and Kok, J. N.: On the relation between UNITY properties and sequences of states. In Semantics: Foundations and Applications, pages 339-352. Springer-Verlag, 1993.
-
(1993)
Semantics: Foundations and Applications
, pp. 339-352
-
-
Udink, R.T.1
Kok, J.N.2
-
63
-
-
0025467711
-
A briding model for parallel computation
-
[Val90]
-
[Val90] Valiant, L. G.; A briding model for parallel computation. Communications of the ACM, 33(8):103-111, 1990.
-
(1990)
Communications of the ACM
, vol.33
, Issue.8
, pp. 103-111
-
-
Valiant, L.G.1
-
64
-
-
0038982224
-
A theory of state-based parallel programming: Part I
-
[XuH91]. J. Morris, editor
-
[XuH91] Xu, Q. and He, J.: A theory of state-based parallel programming: Part I. In J. Morris, editor, Fourth BCS-FACS Refinement Workshop, 1991.
-
(1991)
Fourth BCS-FACS Refinement Workshop
-
-
Xu, Q.1
He, J.2
|