Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Time and Asynchrony in Interactions among Distributed Real-Time Objects
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
A Faster-than Relation for Asynchronous Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Decidability of Strong Bisimilarity for Timed BPP
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Verifying Performance Equivalence for Timed Basic Parallel Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Comparing the Efficiency of Asynchronous Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Expired data collection in shared dataspaces
Theoretical Computer Science - Foundations of software science and computation structures
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science
Bisimulation on speed: worst-case efficiency
Information and Computation
Measuring the performance of asynchronous systems with PAFAS
Theoretical Computer Science - Process algebra
Decidability of performance equivalence for basic parallel processes
Theoretical Computer Science
Bisimulation on speed: a unified approach
Theoretical Computer Science
An Operational Semantics for Shared Messaging Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
COWS: a timed service-oriented calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Performance of pipelined asynchronous systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Bisimulation on speed: a unified approach
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On decidability of prebisimulation for timed automata
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
On the Relationships among four Timed Process Algebras
Fundamenta Informaticae
| Hi-index | 0.01 |