Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems
A practical approach to implementing real-time semantics
Annals of Software Engineering
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Priority and abstraction in process algebra
Information and Computation
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On the axiomatisability of priority
Mathematical Structures in Computer Science
On the computational power of BlenX
Theoretical Computer Science
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
CC-Pi: a constraint language for service negotiation and composition
Rigorous software engineering for service-oriented systems
On the axiomatizability of priority
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |