{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:53:17Z","timestamp":1694623997487},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1993,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>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).<\/jats:p>","DOI":"10.1007\/bf01211317","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T13:29:29Z","timestamp":1109338169000},"page":"79-88","source":"Crossref","is-referenced-by-count":1,"title":["Equality of agent expressions is preserved under an extension of the universe of actions"],"prefix":"10.1145","volume":"5","author":[{"given":"T.","family":"Massart","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique Th\u00e9orique, Universit\u00e9 Libre de Bruxelles, CP 212, Boulevard du Triomphe, 1050, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Devillers","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique Th\u00e9orique, Universit\u00e9 Libre de Bruxelles, CP 212, Boulevard du Triomphe, 1050, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Baeten J.: Processalgebra . Kluwer Deventer 1986."},{"key":"e_1_2_1_2_2_2","unstructured":"Brinksma E.: On the Design of Extended LOTOS (A Specification Language for Open Distributed Systems). Doctoral Dissertation University of Twente 1988."},{"key":"e_1_2_1_2_3_2","unstructured":"Ekman J.: The Sum in Communicating Systems. Lic. Thesis Department of computer science Chalmers University of Technology and University of G\u00f6teborg Sweden."},{"key":"e_1_2_1_2_4_2","unstructured":"Massart T.: A Basic Agent Calculus and Bisimulation Laws for the Design of Systems. Doctoral Dissertation University of Brussels 1990."},{"key":"e_1_2_1_2_5_2","unstructured":"Massart T. and Devillers R.: Agents or Expressions: which Semantics for a Process Calculus Internal Report of the Laboratoire d'Informatique Th\u00e9orique no. 230 March 1991."},{"key":"e_1_2_1_2_6_2","first-page":"197","volume-title":"Summer School Marktoberdorf 1984","author":"Milner R.","year":"1984"},{"key":"e_1_2_1_2_7_2","unstructured":"Milner R.: Communication and Concurrency . Prentice-Hall International 1989."},{"key":"e_1_2_1_2_8_2","volume-title":"Proc. 5th GI Conference","author":"Park D.","year":"1981"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211317.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211317\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211317","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:22:41Z","timestamp":1641482561000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211317"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1007\/BF01211317"],"URL":"https:\/\/doi.org\/10.1007\/bf01211317","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}