Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Location equivalence has been presented in [5] as a bisimulation-based equivalence able to take into account the spatial distribution of processes. In this work, the parametric approach of [12] is applied to location equivalence. An observation domain for localities is identified and the associated equivalence is shown to coincide with the equivalence introducted in [6,16]. The observation of a computation is a forest (defined up to isomorphism) whose nodes are the events (labeled by observable actions) and where the arcs describe the sublocation relation. We show in the paper that our approach is really parametric. By performing minor changes in the definitions, many equivalences are captured: partial and mixed ordering causal semantics, interleaving, and a variation of location equivalence where the generation ordering is not evidenced. It seems difficult to modify the definitions of [6,16] to obtain the last observation. The equivalence induced by this observation corresponds to the very intuitive assumption that different locations cannot share a common clock, and hence the ordering between events occurring in different places cannot be determined. Thanks to the general results proved in [12] for the parametric approach, all the observation equivalences described in this paper come equipped with sound and complete axiomatizations. © 1995.

Registro:

Documento: Artículo
Título:Location equivalence in a parametric setting
Autor:Montanari, U.; Yankelevich, D.
Filiación:Dipartimento di Informatica, Universita di Pisa, Corso Italia 40, 56100 Pisa, Italy
Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina
Año:1995
Volumen:149
Número:2
Página de inicio:299
Página de fin:332
DOI: http://dx.doi.org/10.1016/0304-3975(94)00219-9
Título revista:Theoretical Computer Science
Título revista abreviado:Theor Comput Sci
ISSN:03043975
CODEN:TCSCD
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03043975_v149_n2_p299_Montanari

Referencias:

  • Proceedings 19th ICALP (1992) Lecture Notes in Computer Science, 623. , Vienna, Springer, Berlin
  • Aceto, History preserving, causal and mixed-ordering equivalence for stable event structures (note) (1991) Technical Memo HPL-PSC-91-28, , Fundam. Inform., Hewlett-Packard Laboratories, Pisa Science Center, Pisa, to appear
  • Aceto, A static view of localities (1991) Rapport de Recherche 1483, , Formal Aspects Comput., INRIA, Sophia Antipolis, Valbonne, to appear
  • Boudol, Castellani, A non-interleaving semantics for CCS based on proved transitions (1988) Fundam. Inform., 11, pp. 433-452
  • Boudol, Castellani, Hennessy, Kiehn, Observing localities (1993) Theoret. Comput. Sci., 114, pp. 31-61
  • Boudol, Castellani, Hennessy, Kiehn, A theory of processes with localities (1991) Tech. Report 13/91, , Formal Aspects Comput., University of Sussex, to appear
  • Castellani, Hennessy, Distributed bisimulations (1989) J. ACM, 36, pp. 887-911
  • P. Darondeau and P. Degano, Event structures, causal trees and refinements, Theoret. Comput. Sci. to appear; De Francesco, Montanari, Yankelevich, Axiomatizing different views of distributed systems (1992) Proc. ERCIM Workshop on Theory and Practice in Verification, , Pisa
  • Degano, De Nicola, Montanari, Observational equivalences for concurrency models (1987) Formal Description of Programming Concepts — III, Proc. 3rd IFIP WG 2.2 Working Conf., pp. 105-129. , M. Wirsing, Ebberup, 1986, North-Holland, Amsterdam
  • Degano, De Nicola, Montanari, Partial orderings descriptions and observations of nondeterministic concurrent processes (1989) REX School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, 354, pp. 438-466. , J.d. Bakker, W.-P.d. Roever, G. Rozenberg, Noordwijkerhout, Lecture Notes in Computer Science, Springer, Berlin
  • Degano, De Nicola, Montanari, Universal axioms for bisimulation (1993) Theoret. Comput. Sci., 114, pp. 63-91
  • Degano, Priami, Proved trees (1992) Proc. 19th ICALP, 623, pp. 629-640. , Vienna, Lecture Notes in Computer Science, Springer, Berlin
  • Ferrari, Unifying models of concurrency (1990) Ph.D. Thesis, , Dipartimento di Informatica, Universitá di Pisa, Available as report TD-4/90
  • Inverardi, Priami, Yankelevich, Verification of concurrent systems in SML (1992) Proc. ACM SIGPLAN Workshop on ML and its Applications, pp. 169-175
  • Kiehn, Local and global causes (1991) Tech. Report 342/23/91, , Technische Universitat Munchen
  • Krishnan, Distributed CCS (1991) Proc. CONCUR'91, 527, pp. 393-407. , Lecture Notes in Computer Science, Springer, Berlin
  • Manca, Salibra, Scollo, Equational type logic (1990) Theoret. Comput. Sci., 77, pp. 131-159
  • Milner, (1989) Communication and Concurrency, , Prentice-Hall, Englewood Cliffs, NJ
  • Montanari, Yankelevich, An algebraic view of interleaving and distributed operational semantics for CCS (1991) Proc. Category Theory and Computer Science '89, 389, pp. 5-20. , Lecture Notes in Computer Science, Springer, Berlin
  • Montanari, Yankelevich, A parametric approach to localities (1992) Proc. 19th ICALP, 623, pp. 617-628. , Vienna, Lecture Notes in Computer Science, Springer, Berlin
  • Park, Concurrency and automata on infinite sequences (1981) Proc. 5th GI Conf., 104, pp. 167-183. , P. Deussen, Lecture Notes in Computer Science, Springer, Berlin
  • Plotkin, A structural approach to operational semantics (1981) Report DAIMI FN-19, , Computer Science Department, Aarhus University
  • Rabinovich, Trakhtenbrot, Behavior structures and nets (1988) Fundam. Inform., 11, pp. 357-404
  • Yankelevich, Parametric view of process description languages (1993) Ph.D. Thesis, , Dipartimento di Informatica, Università di Pisa, Available as report TD-23/93

Citas:

---------- APA ----------
Montanari, U. & Yankelevich, D. (1995) . Location equivalence in a parametric setting. Theoretical Computer Science, 149(2), 299-332.
http://dx.doi.org/10.1016/0304-3975(94)00219-9
---------- CHICAGO ----------
Montanari, U., Yankelevich, D. "Location equivalence in a parametric setting" . Theoretical Computer Science 149, no. 2 (1995) : 299-332.
http://dx.doi.org/10.1016/0304-3975(94)00219-9
---------- MLA ----------
Montanari, U., Yankelevich, D. "Location equivalence in a parametric setting" . Theoretical Computer Science, vol. 149, no. 2, 1995, pp. 299-332.
http://dx.doi.org/10.1016/0304-3975(94)00219-9
---------- VANCOUVER ----------
Montanari, U., Yankelevich, D. Location equivalence in a parametric setting. Theor Comput Sci. 1995;149(2):299-332.
http://dx.doi.org/10.1016/0304-3975(94)00219-9