@inproceedings{e1f81af31deb404c8b4a8f95c41c1974,
title = "Real-time behaviour of asynchronous agents",
abstract = "In this paper, we present a calculus for real-time communicating systems. The calculus is an extension of Milner's CCS with explicit time. In SCCS, (Formula Presented) means that if P exists at time r, it will proceed to Q at time r + 1. The time delay is exactly one unit. We extend this idea to asynchronous agents by allowing arbitrary delays. We write (Formula Presented) to mean that after t units of time, P will become Q, where e stands for idling. Based on the notion of bisimulation, two equivalence relations over agents are defined. It has been shown that the strong equivalence is a congruence and the weak one is preserved by all operators except summation and recursion [W90]. Various examples are given to illustrate the approach.",
author = "Wang Yi",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; Conference on Theories of Concurrency, CONCUR 1990 ; Conference date: 27-08-1990 Through 30-08-1990",
year = "1990",
doi = "10.1007/BFb0039080",
language = "英语",
isbn = "9783540530480",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "502--520",
editor = "J.W. Klop and J.C.M. Baeten and J.W. Klop and J.C.M. Baeten",
booktitle = "CONCUR 1990 - Theories of Concurrency",
address = "德国",
}