Discrete time process algebra
Copyright policy )Discrete time process algebra
Abstract The axiom system ACP of [BeK84a] was extended with real time features in [BaB91]. Here we proceed to define a discrete time extension of ACP, along the lines of ATP [NiS94]. We present versions based on relative timing and on absolute timing. Both approaches are integrated using parametric timing. The time free ACP theory is embedded in the discrete time theory.
- University of Amsterdam Netherlands
- Eindhoven University of Technology Netherlands
- Utrecht University Netherlands
- Technical University Eindhoven Netherlands
ACP, parametric timing, Wijsbegeerte, Process algebra, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), Timing, Discrete time, discrete time theory, time free ACP theory
ACP, parametric timing, Wijsbegeerte, Process algebra, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), Timing, Discrete time, discrete time theory, time free ACP theory
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).41 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!