Skip to main content
SpringerLink
Log in

Equality of agent expressions is preserved under an extension of the universe of actions

  • Published:
Formal Aspects of Computing

Abstract

In a basic agent calculus, equality often links the agents which provide the same external behaviour in any context. Since the universe of agents and the universe of contexts depend on the used action set, equality depends a priori on this set of actions. We show here that if we select from the universe of agents, two agents which are equal, they are also equal if we extend the universe of actions (and consequently if we extend the universe of agents and contexts).

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baeten, J.:Processalgebra. Kluwer, Deventer, 1986.

  2. Brinksma, E.: On the Design of Extended LOTOS (A Specification Language for Open Distributed Systems). Doctoral Dissertation, University of Twente, 1988.

  3. Ekman, J.: The Sum in Communicating Systems. Lic. Thesis, Department of computer science, Chalmers University of Technology and University of Göteborg, Sweden.

  4. Massart, T.: A Basic Agent Calculus and Bisimulation Laws for the Design of Systems. Doctoral Dissertation, University of Brussels, 1990.

  5. Massart, T. and Devillers, R.: Agents or Expressions: which Semantics for a Process Calculus, Internal Report of the Laboratoire d'Informatique Théorique no. 230, March 1991.

  6. Milner, R.: Lectures on a Calculus for Communicating Systems.Summer School Marktoberdorf 1984, Lecture Notes in Computer Science 197, Springer, Berlin, pp. 197–219, 1984.

    Google Scholar 

  7. Milner R.:Communication and Concurrency. Prentice-Hall International, 1989.

  8. Park, D.: Concurrency and Automata on Infinite Sequences.Proc. 5th GI Conference, Lecture Notes in Computer Science 104, Berlin, Springer-Verlag, 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d'Informatique Théorique, Université Libre de Bruxelles, Boulevard du Triomphe, CP 212, 1050, Brussels, Belgium

    T. Massart & R. Devillers

Authors
  1. T. Massart
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Devillers
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Massart, T., Devillers, R. Equality of agent expressions is preserved under an extension of the universe of actions. Formal Aspects of Computing 5, 79–88 (1993). https://doi.org/10.1007/BF01211317

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01211317

Keywords

Search

Navigation