Efficient Simplification of Bisimulation Formulas (1995)

Cached

Download Links

by Uffe H. Engberg , Kim S. Larsen
Venue:In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 111--132. LNCS 1019
Citations:1 - 0 self

Documents Related by Co-Citation

6 Characterizing Bisimilarity of Value-Passing Parametrised Processes – Pawel Paczkowski, Pawe Pa Czkowski - 1996
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
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
11 Efficient Methods of Validating Timing Constraints – Jane W.S. Liu, Rhan Ha - 1995
5 Symbolic Weak Bisimulation for Value-passing Calculi – Hee-hwan Kwak, Jin-young Choi, Insup Lee, Anna Philippou - 1998
43 Formal Methods for Real-Time Computing – C Heitmeyer, D Mandrioli - 1996
55 Real-Time Systems: Specification, Verification and Analysis. Upper Saddle – M Joseph - 1996
10 End-to-End Design of Real-Time Systems – Richard Gerber, Dong-in Kang, Seongsoo Hong, Manas Saksena - 1996
27 Fixed-Priority End-To-End Scheduling In Distributed Real-Time Systems – Jun Sun - 1997
126 Real-time synchronization protocols for multiprocessors – R Rajkumar, L Sha, J Lehoczky - 1988
68 End-to-End Scheduling to Meet Deadlines in Distributed Systems – R. Bettati, Jane W. -s. Liu - 1994
330 Aperiodic Task Scheduling for Hard RealTime Systems – B Sprunt, L Sha, J P Lehoczky - 1989
268 Finding Response Times in a Real-Time System – M Joshep, P Pandya - 1986
45 A Process Algebra of Communicating Shared Resources with Dense Time and Priorities – Patrice Bremond-Gregoire , Insup Lee - 1997
103 Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems – M Chen, K Lin