The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Dynamic Scheduling and Fault-Tolerance: Specification andVerification
Real-Time Systems
A practical approach to implementing real-time semantics
Annals of Software Engineering
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
The Compositional Specification of Timed Systems - A Tutorial
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A real-time process algebra with open intervals and maximal progress
Nordic Journal of Computing
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
Testing techniques in software engineering
Testing techniques in software engineering
On the axiomatizability of priority
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Model checking timed automata with priorities using DBM subtraction
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Under-approximation of Reachability in Multivalued Asynchronous Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |