Architectural CCS

Formal Aspects of Computing

Volumn 8, Issue 2, 1996, Pages 162-187

  Krishnan, Padmanabhan ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

CCS; Distributed systems; Multiprocessors

Indexed keywords

COMMUNICATION;

ASYNCHRONOUS; AXIOMATIC; COMPILATION; DISTRIBUTED SYSTEM; MULTIPROCESSOR; SHARED MEMORY; SYSTEM DESCRIPTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030367282     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01214555     Document Type: Article

References (27)

1. Bolognesi, T. and Brinksma, E.: Introduction to the ISO Specification Language LOTOS. In P. H. J. van Eijk, C. A. Vissers, and M. Diaz, editors. The Formal Description Technique LOTOS, pages 23-73. North Holland, 1989.
2. Berry, G. and Boudol, G.: The Chemical Abstract Machine. Theoretical Computer Science, 96(1):217-248. April 1992.
3. Banatre, J. P., Coutant, A. and Metayer, D.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems, 4:133-144, 1988.
4. Bergstra, J. A. and Klop, J. W.: Process Theory Based on Bisimulation Semantics. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, pages 50-122. Springer Verlag, 1988.
5. Birrell, A. D. and Nelson, B. J.: Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(4):39-59, February 1981.
6. Castetlani, I. and Hennessy, M.: Distributed Bisimulations. Journal of the Association for Computing Machinery, 36(4):887-911, October 1989.
7. Chandy, K. M and Misra, J.: Parallelism and Programming: A Perspective. In Foundations of Software Technologv and Theoretical Computer Science, LNCS 287, pages 173-194. Springer Verlag, 1987.
8. Degano, P., DeNicola, R. and Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Informatica, 26:59-91, 1988.
9. Gelernter, D.: Generative Communication in Linda. ACM Transactions on Programming Language and Systems, 7(1):80-112, Jan 1985.
10. Hennessy, M. C. B.: Algebraic Theory of Processes. MIT Press, 1988.
11. Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall International, 1985.
12. Hudak, P.: Parafunctional Programming. IEEE Computer, 19(8):60-71, 1986.
13. INMOS Ltd., editor, occam-2 Reference Manual. Prentice Hall, 1988.
14. Jones, A. and Schwarz, P.: Experience using multiprocessor systems - A status report. ACM Computing Surveys, 12(2), 1980.
15. Kiehn, A., Hennessy, M., Castellani, I. and Boudol, G.: Observing localities. In Mathematical Foundations of Computer Science(MFCS):LNCS 520. Springer-Verlag, 1991.
16. Kiehn, A. Hennessy, M., Castellani, I. and Boudol, G.: Observing Localities. In Workshop on Concurrency and Compositionality: Goslar, 1991.
17. Lamport, L. and Lynch, N.: Distributed computing: Models and methods. In J. van Leeuwen, editor. Handbook of Theoretical Computer Science: Formal Models and Semantics. Elsevier, 1990.
18. Liskov, B. and Shrira, L.: Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In SIGPLAN Conference on Programming Language Design and Implementation, pages 260-267, 1988.
19. Milner, R.: Calculus for Synchrony and Asynchrony. Theoretical Computer Science, 25:267-310, 1983.
20. Milner, R.: Communication and Concurrency. Prentice Hall International, 1989.
21. Plotkin, G. D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
22. Pratt, V.: Modelling Concurrency with Partial Orders. International Journal of Parallel Programming, 15(1), 1986.
23. Russel, R. : The CRAY-1 Computer System, CACM, January 1978.
24. Salwicki, A. and Muldner, T.: On the Algorithmic Properties of Concurrent Programs. In LSCS-125. Springer Verlag, 1982.
25. Treleaven, P., Brownbridge, D. and Hopkins, R.: Data Driven and Demand Driven Computer Architectures. ACM Computing Surveys, 14(1), 1982.
26. van Glabbeek, R. J. and Vaandrager, F. W.: Petri Net Models for Algebraic Theories of Concurrency. In J. W. deBakker, A. J. Nijman, and P. C. Treleaven, editors, PARLE-II, LNCS 259 Springer Verlag, 1987.
27. van Eijk, P. H. J., Vissers, C. A. and Diaz, M.: The Formal Description Technique LOTOS. North Holland, 1989.