Advertisement

Algebraic Specification of Concurrent Systems

  • Egidio Astesiano
  • Manfred Broy
  • Gianna Reggio
Part of the IFIP State-of-the-Art Reports book series (IFIP)

Abstract

A process is a unit with the capacity of performing an activity by which it may interact with other units and/or with the environment. The interactions may involve communicating, synchronizing, cooperating, acting in parallel, competing for resources with other processes and/or with the environment. By “concurrent systems” we mean processes which may consist of other processes (or in turn concurrent systems) operating concurrently.

Keywords

Temporal Logic Label Transition System Process Algebra Concurrent System Data Flow Graph 
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.

Copyright information

© IFIP International Federation for Information Processing 1999

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Manfred Broy
    • 2
  • Gianna Reggio
    • 3
  1. 1.DISI - Dipartimento di Informatica e Scienze dell’ InformazioneUniversità di GenovaGenova 16146Italy
  2. 2.Institut für Informatik der TechnischenUniversität MünchenMünchenGermany
  3. 3.DISI - Dipartimento di Informatica e Scienze dell’ InformazioneUniversità di GenovaGenova 16146Italy

Personalised recommendations