Advertisement

Ugo Montanari and Concurrency Theory

  • Roberto Gorrieri
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5065)

Abstract

This short note introduces the reader to the contributed papers in the area of concurrency theory that have been written in honour of Ugo Montanari. I also draw the attention to one of the contributions of Ugo in this area that, in my opinion, constitutes a pearl in theoretical computer science and would deserve to be investigated further.

Keywords

Operational Semantic Label Transition System Process Algebra Graph Grammar Hybrid Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baldan, P., Gadducci, F., Montanari, U.: Modelling Calculi with Name Mobility using Graphs with Equivalences. Electr. Notes Theor. Comput. Sci. 176(1), 85–97 (2007)CrossRefGoogle Scholar
  2. 2.
    Bruni, R., Melgratti, H.C., Montanari, U.: Event Structure Semantics for Nominal Calculi. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 295–309. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Montanari, U., Pistore, M.: History-Dependent Automata: An Introduction. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol. 3465, pp. 1–28. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    Bruni, R., Montanari, U.: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3), 421–468 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program 60(61), 117–139 (2004)Google Scholar
  6. 6.
    Baldan, P., Corradini, A., Montanari, U.: Bisimulation Equivalences for Graph Grammars. In: Brauer, W., Ehrig, H., Karhumäki, J., Salomaa, A. (eds.) Formal and Natural Computing. LNCS, vol. 2300, pp. 158–190. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Corradini, A., Heckel, R., Montanari, U.: Compositional SOS and beyond: a coalgebraic view of open systems. Theor. Comput. Sci. 280(1-2), 163–192 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: Functorial Models for Petri Nets. Inf. Comput. 170(2), 207–236 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Ferrari, G.L., Montanari, U.: Parameterized Structured Operational Semantics. Fundam. Inform. 34(1-2), 1–31 (1998)zbMATHMathSciNetGoogle Scholar
  10. 10.
    Ferrari, G.L., Montanari, U., Mowbray, M.: Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Mathematical Structures in Computer Science 7(3), 241–282 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Bruni, R., Montanari, U.: Zero-safe nets, or transition synchronization made simple. Electr. Notes Theor. Comput. Sci. 7 (1997)Google Scholar
  12. 12.
    Montanari, U., Pistore, M.: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1 (1995)Google Scholar
  13. 13.
    Gorrieri, R., Montanari, U.: On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies. Theor. Comput. Sci. 141(1& 2), 195–252 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Montanari, U., Yankelevich, D.: Combining CCS and Petri Nets Via Structural Axioms. Fundam. Inform. 20(1/2/3), 193–229 (1994)zbMATHMathSciNetGoogle Scholar
  15. 15.
    Degano, P., Nicola, R.D., Montanari, U.: Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1), 63–91 (1993)zbMATHCrossRefGoogle Scholar
  16. 16.
    Montanari, U., Yankelevich, D.: A Parametric Approach to Localities. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 617–628. Springer, Heidelberg (1992)Google Scholar
  17. 17.
    Olderog, E.R.: Nets, Terms and Formulas. In: Cambridge Tracts in Theoretical Computer Science 23, Cambridge University Press, Cambridge (1991)Google Scholar
  18. 18.
    Ferrari, G.L., Montanari, U.: Towards the Unification of Models for Concurrency. In: Arnold, A. (ed.) CAAP 1990. LNCS, vol. 431, pp. 162–176. Springer, Heidelberg (1990)Google Scholar
  19. 19.
    Degano, P., Nicola, R.D., Montanari, U.: A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3), 223–262 (1990)zbMATHCrossRefGoogle Scholar
  20. 20.
    Brogi, A., Gorrieri, R.: A Distributed, Net-Oriented Semantics for Delta Prolog. In: Díaz, J., Orejas, F. (eds.) CAAP 1989 and TAPSOFT 1989. LNCS, vol. 351, pp. 162–177. Springer, Heidelberg (1989)Google Scholar
  21. 21.
    Degano, P., Nicola, R.D., Montanari, U.: On the Consistency of “Truly Concurrent” Operational and Denotational Semantics. In: LICS 1988, pp. 133–141. IEEE CS Press, Los Alamitos (1988)Google Scholar
  22. 22.
    Degano, P., Nicola, R.D., Montanari, U.: Partial orderings descriptions and observations of nondeterministic concurrent processes. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 438–466. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  23. 23.
    Degano, P., Nicola, R.D., Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition/Event Systems. Acta Inf. 26(1/2), 59–91 (1988)CrossRefzbMATHGoogle Scholar
  24. 24.
    Degano, P., Gorrieri, R., Marchetti, S.: An Exercise in Concurrency: a CSP Process as a Condition/Event System. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 340, pp. 85–105. Springer, Heidelberg (1988)Google Scholar
  25. 25.
    Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. J. ACM 34(2), 411–449 (1987)CrossRefMathSciNetGoogle Scholar
  26. 26.
    Degano, P., Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3), 422–461 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    Degano, P., Montanari, U.: Liveness Properties as Convergence in Metric Spaces. In: STOC 1984, pp. 31–38. ACM Press, New York (1984)CrossRefGoogle Scholar
  28. 28.
    Degano, P., Nicola, R.D., Montanari, U.: CCS is an (Augmented) Contact Free C/E System. In: Venturini Zilli, M. (ed.) Mathematical Models for the Semantics of Parallelism. LNCS, vol. 280, pp. 144–165. Springer, Heidelberg (1987)Google Scholar
  29. 29.
    Castellani, I., Montanari, U.: Graph Grammars for distributed systems. In: Ehrig, H., Nagl, M., Rozenberg, G. (eds.) Graph Grammars 1982. LNCS, vol. 153, pp. 20–38. Springer, Heidelberg (1983)CrossRefGoogle Scholar
  30. 30.
    Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Roberto Gorrieri
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Personalised recommendations