CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
CONCUR
1992
Springer
13 years 8 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...
CONCUR
1992
Springer
13 years 8 months ago
1992
Springer
