Locality based semantics for process algebras

Acta Informatica

Volumn 34, Issue 4, 1997, Pages 291-324

  Corradini, Flavio ^a   De Nicola, Rocco ^b  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; EQUIVALENCE CLASSES; MATHEMATICAL OPERATORS; PARALLEL PROCESSING SYSTEMS;

LOCALITY BASED SEMANTICS; PROCESS ALGEBRAS;

COMPUTATIONAL LINGUISTICS;

EID: 0031108839     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050086     Document Type: Article

References (20)

1. Aceto, L.: A static view of localities. Formal Aspects of Computing 6, 201-222 (1994)
2. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing 6, 165-200 (1994)
3. Boudol, G., Castellani, I.: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Information and Compulation, 114(2), 247-314 (1994)
4. Castellani, I.: Observing Distribution in Processes. In Proc. MFCS'93. LNCS 711. Berlin Heidelberg: Springer 1993
5. Corradini, F., De Nicola, R.: Locality and Causality in Distributed Process Algebras. Internal Report SI-93/05, University "La Sapienza" of Rome, 1993.
6. Corradini, F., De Nicola, R.: Distribution and Locality of Concurrent Systems. In Proc. ICALP'94, LNCS 820, pp. 154-165. Berlin Heidelberg: Springer 1994
7. Castellani, I., Hennessy, M.: Distributed Bisimulations. Journal of ACM 36, 887-911 (1989)
8. Corradini, F., Murphy, D.: Located Processes and Located Processors. Internal Report SI-94/02, University "La Sapienza" of Rome, 1994.
9. Darondeau, Ph., Degano, P.: Causal trees: interleaving + causality. In Semantics of Systems of Concurrent Processes, LNCS 469, pp. 239-255. Berlin Heidelberg: Springer 1990
10. Degano, P., De Nicola, R., Montanari, U.: Partial Ordering Descriptions and Observations of Nondeterministic Concurrent Processes. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS 354, pp. 438-466. Berlin Heidelberg: Springer 1989
11. Degano, P., De Nicola, R., Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition/Event Systems Acta Informatica 26, 59-91 (1988)
12. Degano, P., De Nicola, R., Montanari, U.: On the Operational Semantics of Distributed Concurrent Systems. In: G. David, R.T. Boute, B.D. Shriver (eds.) Declarative Systems, pp. 3-32. Amsterdam: North Holland 1990
13. Degano, P., Priami, C.: Proved Trees. In Proc. ICALP'92 (W. Kuich, ed.), LNCS 623, pp. 629-640. Berlin Heidelberg: Springer 1992.
14. Ferrari, G., Gorrieri, R., Montanari, U.: An Extended Expansion Theorem. In Proc. TAP-SOFT'91, LNCS 494, pp. 29-48. Berlin Heidelberg: Springer 1991
15. Kiehn, A.: Distributed Bisimulations for Finite CCS, Report 7/89, University of Sussex, 1989.
16. Kiehn, A.: Comparing Locality and Causality based equivalences, Acta Informatica 26, 697-718 (1994)
17. Kanellakis, P.C., Smolka, S.C., CCS Expressions, Finite State Processes and Three Problems of Equivalence. In Proc. 2nd ACM Symposium on Principles of Distributed Computing, 1983.
18. Milner, R.: Communication and Concurrency. Prentice-Hall 1989.
19. Murphy, D.: Observing Located Concurrency. In Proc. MFCS '93, LNCS 711, 1993.
20. Montanari, U., Yankelevich, D.: Partial Order localities. In Proc. ICALP'92 (W. Kuich, ed.), LNCS 623, pp. 617-628, 1992.