A complete axiomatization of finite-state ACSR processes

Authors:
Patrice Brémond-Grégoire;Jin-Young Choi;Insup Lee
Affiliations:
-;-;-
Venue:
Information and Computation
Year:
1997

Citing 0
Cited 4

A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems
Comments on 'The Model Checker SPIN'

IEEE Transactions on Software Engineering
Specification and analysis of real-time systems with PARAGON

Annals of Software Engineering
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract