7 search results - page 1 / 2 » concur 1992 |
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
142
click to vote
CONCUR
1992
Springer
15 years 7 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...