Skip to main content
SpringerLink
Log in

Action and state-based logics for process algebras

  • Invited Lectures
  • Conference paper
  • First Online:
CONCUR '91 (CONCUR 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 527))

Included in the following conference series:

  • 136 Accesses

Abstract

Process algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis.

Note: The research has been partially supported by Esprit Basic Research Action Program, Project 3011 CEDISYS and by CNR Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, project LAMBRUSCO.

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. De Nicola,R. and Vaandrager,F.W.: Three Logics for Branching Bisimulations (Extended Abstract) in LICS '90, Philadelphia, USA, June 1990, IEEE Computer Society Press, Los Alamitos, CA, 1990, pp. 118–129. Full paper appeared as CWI Report CS-R9012, 1990.

    Google Scholar 

  2. De Nicola, R. and Vaandrager, F.W.: Action versus State based Logics for Transition Systems. In Proceedings Ecole de Printemps on Semantics of Concurrency, April 1990, (I. Guessarian ed.), Lecture Notes in Computer Science 469, 1990, pp. 407–419.

    Google Scholar 

  3. De Nicola,R., Fantechi,A., Gnesi,S. and Ristori,G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. In Proc. of 3rd Workshop on Computer Aided Verification, Lecture Notes in Computer Science, Springer Verlag, 1991, to appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Scienze dell'Informazione, Università “La Sapienza”, Roma, Via Salaria 113, 00198, Roma, ITALY

    Rocco De Nicola

Authors
  1. Rocco De Nicola
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jos C. M. Baeten Jan Frisco Groote

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

De Nicola, R. (1991). Action and state-based logics for process algebras. In: Baeten, J.C.M., Groote, J.F. (eds) CONCUR '91. CONCUR 1991. Lecture Notes in Computer Science, vol 527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54430-5_77

Download citation

  • DOI: https://doi.org/10.1007/3-540-54430-5_77

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54430-2

  • Online ISBN: 978-3-540-38357-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation