Abstract
The aim of this paper is to introduce an enriched categorical approach which provides a unifying theory for many notions of parallelism and concurrency. Our constructions are based on a concept of observational equivalence induced by a set of observers, which perform experiments over agents. The outcome of those experiments is a set of computations together with an agreement information. In order to model parallel agents and their behaviours we use categories enriched over a bicategory. They provide an abstract framework with entities at three levels: i) observers at level 0, ii) experiments at level 1, and iii) computing agents at level 2. This comprehensive framework is parametric with respect to the nature of the observers, which may observe totally or partially ordered sets of actions in a discrete or continuous manner. The relationship between various models for parallelism can be expressed in terms of the change of the base bicategory of observers.
This work has been partially supported by the "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo", CNR, Italy.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Best, E. and Devillers, R.: "Sequential and Concurrent Behaviour in Petri Net Theory", Theoretical Computer Science, Vol.55, 1(1988), 87–136.
Bénabou, J.: "Introduction to Bicategories", in LNM 47, Springer Verlag, Berlin (1967), 1–77.
Benson, D.B.: "Some Foundations for Distributed and Concurrent Computations", Fundamenta Informatiicae, 12(4) (1989), 427–486.
Bergstra, J.A. and Klop, J.W.: "Algebra of Communicating Processes with Abstraction". Theoretical Computer Science, Vol.37, No.1 (1985), 77–121.
Betti, R., and Kasangian, S.: "Tree Automata and Enriched Category Theory" Rend. Ist. Mat. Univ. Trieste, XVII (1985), 71–78.
Betti, R.: "Automi e Categorie Chiuse", Boll.Un. Matem. Ital. (5) 17-13 (1980), 44–58.
Boudol, L., and Castellani, I.: "Concurrency and Atomicity", Theoretical Computer Science, 59 (1988), 1–60.
Brookes, S. D., Hoare, C.A.R., and Roscoe, A.W.: "A Theory of Communicating Sequential Processes", J.A.C.M. 31, 3 (1984), 560–599.
Cardelli, L.: "Real Time Agents" Proc. ICALP 1982, LNCS n. 140 (1982), 94–106.
Carboni, A. and Walters, R.F.C.: "Cartesian Bicategories I" J. Pure Applied Algebra 49, (1987), 11–32.
Casley, R., Crew, R.F., Meseguer, J., and Pratt, V.: "Temporal Structures" Category Theory and Computer Science, LNCS n.389 Springer Verlag, Berlin (1989), 21–51.
Castellani, I., Franceschi, P., and Montanari, U.: "Labelled Event Structures: A Model for Observable Concurrency" Proc. IFI TC2 Working Conference on Formal Description of Programming Concepts II Garmisch (D. Bjørner, ed.) North Holland (1983), 383–400.
Degano, P. De Nicola, R. and Montanari, U.: "Observational Equivalences for Concurrent Models", Working Conf. on Formal Description of Programming Concepts, Ebberup (Denmark), 25–28 August 1986, (M. Wirsing, ed.), (1987), 105–132.
Degano, P., Meseguer, J., and Montanari, U.: "Axiomatizing Net Computations and Processes", Fourth Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, (1989), 175–185.
Degano, P. and Montanari, U.: "Concurrent Histories: A Basis for Observing Distributed Systems", Journal of Computer and System Science, 34 (1987), 422–461.
De Nicola, R. and Hennessy, M.: "Testing Equivalences for Processes", Theoretical Computer Science, 34 (1984), 83–133.
De Nicola, R.: "Extensional Equivalences for Transition Systems", Acta Informatica 24, (1987), 211–237.
Eilenberg, S. and Kelly, G.M.: "Closed Categories" Proc. of the Conference on Categorical Algebra. La Jolla 1965, Springer Verlag (1966), 421–562.
Hoare, C.A.R.: "Communicating Sequential Processes" Communications A.C.M. Vol.21, n.8, (1978), 666–677.
Kasangian, S. and Labella, A.: "Enriched Categorical Semantics for Distributed Calculi" (to appear in Journal of Pure and Applied Algebra) (1990).
Kasangian, S., Kelly, G.M., and Rossi, F.: "Cofibrations and the Realization of Nondeterministic Automata", Cahiers de Topologie et Géométrie Differentielle. XXIV 1 (1983), 23–46.
Kasangian, S., Labella, A. and Pettorossi, A.: "Enriched Categories for Local and Interaction Calculi", LNCS 283, Springer Verlag, Berlin (1987), 57–70.
Kelly, G.M.: "Basic Concepts of Enriched Category Theory", Cambridge University Press, Cambridge (1982).
Kelly, G.M. and Street, R.H.: "Review of the Elements of 2-categories", Lecture Notes in Mathematics, no.420 (1974), 75–103.
Larsen, G., and Thomsen, B.: "A Modal Process Logic", Third Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, Edinburgh, Scotland (1988), 203–210.
Labella, A. and Pettorossi, A.: "Categorical Models of Process Cooperation" Proc. Category Theory and Computer Programming, Guildford, U.K., September 1985, LNCS n. 240, Springer Verlag, Berlin (1986), 282–298.
Lawvere, F.W.: "Metric Spaces, Generalized Logic, and Closed Categories" Rendiconti del Seminario Matematico e Fisico, Milano 43 (1973), 135–166.
Mazurkiewicz, A.: "Trace theory" in LNCS 255, Springer Verlag (1987), 279–324.
Meseguer, J., and Montanari, U.: "Petri Nets are Monoids: A New Algebraic Foundation for Net Theory" Proc. 3rd Annual Symposium on Logic in Computer Science, June 5–8, 1988, Edinburgh (Scotland), 155–164.
Milner, R.: "A Calculus of Communicating Systems", LNCS 92, Springer Verlag, Berlin (1980).
Milner, R.: "Calculi for Synchrony and Asynchrony" Theoretical Computer Science, Vol.25 (1983), 267–310.
Nielsen, M., Plotkin, G., and Winskel, G.: "Petri Nets, Event Structures, and Domains", Theoretical Computer Science 13 (1981), 85–108.
Power, A.J.: "An Abstract Formulation for Rewriting Systems" Category Theory and Computer Science, LNCS n.389 Springer Verlag, Berlin (1989), 300–312.
Petri, C. A.: "Fundamentals of a Theory of Asynchronous Information Flow" in: Proc. of IFIP Congress 1962, North Holland, Amsterdam (1962).
Pratt, V.: "Modelling Concurrency with Partial Orders" International Journal of Parallel Programming, v.15, 1(1986), 33–71.
Reisig, W.:"Petri Nets: An Introduction" EATCS Monographs on Theoretical Computer Science, Vol.4, Springer Verlag (1985).
Walters, R.F.C.: "Sheaves and Cauchy-Complete Categories" Cahiers de Top. et Géom. Diff. 22 (1981), 283–286.
Wei Li: "An Operational Approach to Semantics and Translation for Concurrent Programming Languages", Ph.D. Thesis in Computer Science, Edinburgh University, Edinburgh (Scotland) (1983).
Winkowski, J., and Maggiolo-Schettini, A.: "An Algebra of Processes" Journal of Computer and System Science, 35 (1987), 206–228.
Winskel, G.: "Synchronization Trees" Theoretical Computer Sci., 34 (1984), 33–82.
Winskel, G.: "Category Theory and Models for Parallel Computations" in: Category Theory and Computer Programming, LNCS 240, Springer Verlag (1985), 266–281.
Winskel, G.: "Event Structures" in LNCS 255, Springer Verlag (1987), 325–392.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag
About this paper
Cite this paper
Kasangian, S., Labella, A., Pettorossi, A. (1990). Observers, experiments, and agents: A comprehensive approach to parallelism. In: Guessarian, I. (eds) Semantics of Systems of Concurrent Processes. LITP 1990. Lecture Notes in Computer Science, vol 469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53479-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-53479-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53479-2
Online ISBN: 978-3-540-46897-4
eBook Packages: Springer Book Archive