Skip to main content
SpringerLink
Log in

Ugo Montanari and Concurrency Theory

  • Chapter
Concurrency, Graphs and Models

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5065))

  • 790 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Bruni, R., Montanari, U.: Concurrent models for Linda with transactions. Mathematical Structures in Computer Science 14(3), 421–468 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  5. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program 60(61), 117–139 (2004)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  8. Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: Functorial Models for Petri Nets. Inf. Comput. 170(2), 207–236 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  9. Ferrari, G.L., Montanari, U.: Parameterized Structured Operational Semantics. Fundam. Inform. 34(1-2), 1–31 (1998)

    MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  11. Bruni, R., Montanari, U.: Zero-safe nets, or transition synchronization made simple. Electr. Notes Theor. Comput. Sci. 7 (1997)

    Google Scholar 

  12. Montanari, U., Pistore, M.: Concurrent semantics for the pi-calculus. Electr. Notes Theor. Comput. Sci. 1 (1995)

    Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  14. Montanari, U., Yankelevich, D.: Combining CCS and Petri Nets Via Structural Axioms. Fundam. Inform. 20(1/2/3), 193–229 (1994)

    MATH  MathSciNet  Google Scholar 

  15. Degano, P., Nicola, R.D., Montanari, U.: Universal Axioms for Bisimulations. Theor. Comput. Sci. 114(1), 63–91 (1993)

    Article  MATH  Google Scholar 

  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. Olderog, E.R.: Nets, Terms and Formulas. In: Cambridge Tracts in Theoretical Computer Science 23, Cambridge University Press, Cambridge (1991)

    Google Scholar 

  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. Degano, P., Nicola, R.D., Montanari, U.: A Partial Ordering Semantics for CCS. Theor. Comput. Sci. 75(3), 223–262 (1990)

    Article  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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. Degano, P., Montanari, U.: A model for distributed systems based on graph rewriting. J. ACM 34(2), 411–449 (1987)

    Article  MathSciNet  Google Scholar 

  26. Degano, P., Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. J. Comput. Syst. Sci. 34(2/3), 422–461 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  27. Degano, P., Montanari, U.: Liveness Properties as Convergence in Metric Spaces. In: STOC 1984, pp. 31–38. ACM Press, New York (1984)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  30. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University (1981)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy

    Roberto Gorrieri

Authors
  1. Roberto Gorrieri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierpaolo Degano Rocco De Nicola José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gorrieri, R. (2008). Ugo Montanari and Concurrency Theory. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68679-8_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68676-7

  • Online ISBN: 978-3-540-68679-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation