Completeness in Real Time Process Algebra

Authors:
Steven Klusener
Affiliations:
-
Venue:
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Year:
1991

Citing 0
Cited 3

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

Nordic Journal of Computing
Formal Verification of Timed Systems Using Cones and Foci

Electronic Notes in Theoretical Computer Science (ENTCS)
An Axiomatization for Regular Processes in Timed Branching Bisimulation

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract