Discrete Time Process Algebra with Abstraction

Authors:
Jos C. M. Baeten;Jan A. Bergstra
Affiliations:
-;-
Venue:
FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
Year:
1995

Citing 0
Cited 3

Action abstraction in timed process algebra: the case for an untimed silent step

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time

Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract