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
45 A Process Algebra of Communicating Shared Resources with Dense Time and Priorities – Patrice Bremond-Gregoire , Insup Lee - 1997
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
55 Real-Time Systems: Specification, Verification and Analysis. Upper Saddle – M Joseph - 1996
24 Preemptive Priority-Based Scheduling: An Appropriate Engineering Approach – Alan Burns - 1994
103 Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems – M Chen, K Lin
10 End-to-End Design of Real-Time Systems – Richard Gerber, Dong-in Kang, Seongsoo Hong, Manas Saksena - 1996
2889 Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment – C.L. Liu, James Layland - 1973
3219 Communication and Concurrency – R Milner - 1990
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher