Translating Timed Process Algebra into Prioritized Process Algebra

Authors:
Alan Jeffrey
Affiliations:
-
Venue:
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
1992

Citing 0
Cited 5

A formal definition of priority in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed real-time system specification and verification in APTL

ACM Transactions on Software Engineering and Methodology (TOSEM)
A practical approach to implementing real-time semantics

Annals of Software Engineering
The Real-Time Process Algebra (RTPA)

Annals of Software Engineering
Priority and abstraction in process algebra

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract