Discrete Time Process Algebra

Authors:
Jos C. M. Baeten;Jan A. Bergstra
Affiliations:
-;-
Venue:
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Year:
1992

Citing 0
Cited 5

A congruence theorem for structured operational semantics with predicates and negative premises

Nordic Journal of Computing
Process Algebra with Nonstandard Timing

Fundamenta Informaticae
Truth of Duration Calculus Formulae in Timed Frames

Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time

Fundamenta Informaticae
A COMPLETE AXIOMATIZATION FOR PREFIX ITERATION IN BRANCHING BISIMULATION

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract