|
6
|
Characterizing Bisimilarity of Value-Passing Parametrised Processes
– Pawel Paczkowski, Pawe Pa Czkowski
- 1996
|
|
19
|
Preemptive Priority-Based Scheduling: An Appropriate Engineering Approach
– Alan Burns
- 1994
|
|
5
|
Mode change Protocols for Priority Driven Preemptive Scheduling
– L Sha, R Rajkumar, J Lehoczky, K Ramamritham
- 1989
|
|
1
|
Programming : A Modern Integrated Analysis
– Linear
- 1995
|
|
5
|
Symbolic Weak Bisimulation for Value-passing Calculi
– Hee-hwan Kwak, Jin-young Choi, Insup Lee, Anna Philippou
- 1998
|
|
9
|
Symbolic Techniques for Value-passing Calculi
– Julian Rathke, Julian Rathke
- 1997
|
|
16
|
The Specification and Schedulability Analysis of Real-Time Systems using ACSR
– Jin-young Choi, Insup Lee, Hong-Liang Xie
- 1995
|
|
8
|
Symbolic graphs with assignment
– H Lin
- 1996
|
|
4
|
Specification and Analysis of Real-Time Systems with PARAGON
– Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
- 1999
|
|
42
|
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities
– Patrice Bremond-Gregoire , Insup Lee
- 1997
|
|
98
|
Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems
– M Chen, K Lin
- 1990
|
|
9
|
End-to-End Design of Real-Time Systems
– Richard Gerber, Dong-in Kang, Seongsoo Hong, Manas Saksena
- 1996
|
|
11
|
Efficient Methods of Validating Timing Constraints
– Jane W.S. Liu, Rhan Ha
- 1995
|
|
58
|
A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems
– Insup Lee, Patrice Brémond-Grégoire, Richard Gerber
- 1994
|
|
41
|
editors. Formal Methods for Real-Time Computing, volume 5 of Trends in Software
– C Heitmeyer, D Mandrioli
- 1996
|
|
744
|
Priority inheritance protocols: an approach to real-time synchronization
– L Sha, R Rajkumar, J P Lehoczky
- 1990
|
|
109
|
Real-time synchronization protocols for multiprocessors
– R Rajkumar, L Sha, J Lehoczky
- 1988
|
|
65
|
End-to-End Scheduling to Meet Deadlines in Distributed Systems
– R. Bettati, Jane W. -s. Liu
- 1994
|
|
147
|
M.: Distributed bisimulations
– I Castellani, Hennessy
- 1989
|
